Formal Modeling and Verification of Cyber-Physical Systems - 9783658099930

Braberman - Formal Modeling and Analysis of Timed Systems 11th Inter - X555z

Thomson - Validation and Verification of Formal Specifications in Obje - X555z

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

Sankaranarayanan - Formal Modeling and Analysis of Timed Systems 13t - X555z

Margaria - Leveraging Applications of Formal Methods Verification and - X555z

Duke - Design Specification and Verification of Interactive Systems ' - X555z