A bibliography of the history of Wales

Veröffentlicht 1989

Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I

von Aurandt, Alexis
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Maximum Satisfiability of Mission-Time Linear Temporal Logic

von Hariharan, Gokul
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

Optical tweezers : principles and applications

von Jones, Philip Henry
Veröffentlicht 2015

CROSS-FUNCTIONAL TEAM COURSE DESIGN PROJECT IN ENGINEERING

von Fila, Nicholas D.
Veröffentlicht in American Society for Engineering Education (127. : 2020 : Online) At home with engineering education ; Volume 29 of 30 (2021)

Integrating Runtime Verification into an Automated UAS Traffic Management System

von Cauwels, Matthew
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)

Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2

von Kempa, Brian
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines

von Zhang, Pei
Veröffentlicht in FORMATS (21. : 2023 : Antwerpen) Formal modeling and analysis of timed systems (2023)

MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types

von Hariharan, Gokul
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)

Course Design Thinking: Navigating Tensions at the Intersection of Design Thinking, Engineering Course Design

von Fila, Nicholas D.
Veröffentlicht in ASEE Annual Conference and Exposition (130. : 2023 : Baltimore, Md.) American Society for Engineering Education Annual Conference and Exposition 2023 ; Volume 36 of 36 (2023)