formal methods - Globe Thesis

Keyword [formal methods] Result: 121 - 140 \| Page: 7 of 8
121.	An exploration of formal methods and tools applied to a small satellite software system
122.	Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle
123.	Using Task Analytic Behavior Modeling, Erroneous Human Behavior Generation, and Formal Methods to Evaluate the Role of Human-automation Interaction in System Failure
124.	Formal methods and tools for testing communication protocol system security
125.	On formal methods of checking cryptographic protocols
126.	Formal methods for genomic data integration
127.	Formal Methods in Computer-Aided Design
128.	Applying Formal Methods to Distributed Algorithms Using Local-Global Relations
129.	Motion planning and control: A formal methods approach
130.	Integrating informal and formal requirements methods: A practical approach for systems employing spatially referenced data
131.	A framework for formal methods driven verification and validation of dependable real-time protocols
132.	Formal methods for embedded system design
133.	Formal methods for behavioral and system level power optimization and synthesis
134.	A case study on software development using formal methods
135.	Safety and reliability of real-time engineering systems using formal methods
136.	Formal methods for protocol conversion
137.	Formal methods paradigms for estimation and machine learning in dynamical systems
138.	Formal methods for motion planning and control in dynamic and partially known environments
139.	Formal Methods for Control Synthesis in Partially Observed Environments: Application to Autonomous Robotic Manipulation
140.	Research On The Transformation Method From Natural Language Text To PPTL Formula
<<First <Prev Next> Last>> Jump to