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

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

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

Communication Protocol Specification and Verification, Fachbücher

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

Protocol Specification, Testing and Verification XIV, Fachbücher

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

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

Geometric Modeling and Reasoning of Human-Centered Freeform Products, Fachbücher

Peter Müller | Modular Specification And Verification Of

Semantic Integration of Heterogeneous Software Specifications, Fachbücher

Specifications And Verifications Of Transactions In Mobile Environment

Rafat Alshorman (u. A.) | Specifications And Verifications Of

Specification And Verification Of Multi-agent Systems Mehdi Dastani

Juan C. Torres (u. A.) | Design, Specification And Verification Of...

Communication Protocol Specification And Verification 2333