Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
Holzmann, Gerard J.
Software from
CaltechTHESIS committee
Filippidis, Ioannis (2019)
Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design
;
10.7907/Z9Q52MTD
Livingston, Scott Carlton (2016)
Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications
;
10.7907/Z94Q7RW3
Florian, Mihai (2014)
Analysis-Aware Design of Embedded Systems Software
;
10.7907/VB1N-Y042
Xu, Huan (2013)
Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic
;
10.7907/QDJN-BB72
White, Jerome S. (2011)
Applying Formal Methods to Distributed Algorithms Using Local-Global Relations
;
10.7907/8FRW-ZF17
Wongpiromsarn, Tichakorn (2010)
Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle
;
10.7907/XZ3X-7V51