Interactive Systems. Design, Specification, and Verification, Fachbücher

Interactive Systems Design, Specification, And Verification Gavin

Specification and Verification of Multi-agent Systems, Fachbücher

Specification and Seamless Verification ofEmbedded Real-Time Systems, Fachbücher

Communication Protocol Specification and Verification, Fachbücher

Protocol Specification, Testing and Verification XIV, Fachbücher

Embedded Systems: Design, Analysis and Verification, Fachbücher

Specifications and Verifications of Transactions in Mobile Environment, Fachbücher

Formal Description Techniques and Protocol Specification, Testing and Verification, Fachbücher

Geometric Product Specification and Verification: Integration of Functionality, Fachbücher

Specification And Seamless Verification Ofembedded Real-time Systems

Gavin Doherty (u. A.) | Interactive Systems Design, Specification,

Advances in Design and Specification Languages for Embedded Systems, Fachbücher

Systems and Software Verification, Fachbücher

Specification And Verification Of Multi-agent Systems Mehdi Dastani

Design and Verification of Microprocessor Systems for High-Assurance Applications, Fachbücher