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

Interactive Systems Design, Specification, And Verification Doherty

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

Interactive Systems. Design, Specification, and Verification, Fachbücher von Joaquim Jorge, Nuno Jardim Nunes, João Falc...

Interactive Systems. Design, Specification, and Verification, Fachbücher von Philippe Palanque, T. C. N. Graham

Communication Protocol Specification and Verification, Fachbücher

Specification and Verification of Multi-agent Systems, Fachbücher von Mehdi Dastani, John-Jules Meyer, Koen V. Hindriks

Specification And Seamless Verification Ofembedded Real-time Systems

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

Specification And Verification Of Multi-agent Systems Mehdi Dastani

Architectural Design Conception And Specification Of Interactive

Specifications and Verifications of Transactions in Mobile Environment, Fachbücher von Rafat Alshorman, Walter Hussak

Formal Description Techniques and Protocol Specification, Testing and Verification, Fachbücher von Teruo Higashino, Atsu...

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

Formal Description Techniques and Protocol Specification, Testing and Verification, Fachbücher von Elie Najm, Ana Cavall...

Verification of Digital and Hybrid Systems, Fachbücher