Résultats de la recherche

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, Augu...

An electronic book accessible through the World Wide Web; click to view

Formal software development from VDM to Java / par Charatan, Quentin

An electronic book accessible through the World Wide Web; click to view

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking / par Drusinsky, Doron

An electronic book accessible through the World Wide Web; click to view

Verification techniques for system-level design par Fujita, Masahiro, 1956-

An electronic book accessible through the World Wide Web; click to view

Software specification methods

An electronic book accessible through the World Wide Web; click to view

Teamwork in multi-agent systems a formal approach / par Dunin-Kȩplicz, Barbara

An electronic book accessible through the World Wide Web; click to view

Computers in language research

An electronic book accessible through the World Wide Web; click to view

Communicating embedded systems software and design : formal methods /

An electronic book accessible through the World Wide Web; click to view

Formal method industrial use from model to the code /

An electronic book accessible through the World Wide Web; click to view

Formal methods applied to complex systems : implementation of the B method /

An electronic book accessible through the World Wide Web; click to view

Principles of cyber-physical systems / par Alur, Rajeev, 1966-

An electronic book accessible through the World Wide Web; click to view