Explore Books on
méthodes formelles (informatique)

Extension Innovation Method

By Chunyan Yang

Practical UML statecharts in C/C++

By Miro Samek

Process Algebra for Parallel and Distributed Processing

By Michael Alexander,Gardner, William,William Gardner

NASA Formal Methods

By Julia M. Badger,Kristin Yvonne Rozier

Formal methods for hardware verification

By International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)

Software specification methods

By Henri Habrias

Formal Specification Using Z (Computer Science)

By David Lightfoot

Formal modeling and analysis of timed systems

By Wang Yi

Formal methods in computer-aided design

By FMCAD 2004 (2004 Austin, Texas)

Formal methods for protocol engineering and distributed systems

By IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)

Formal Methods in Architecture and Urbanism, Volume 2

By Catarina Ruivo,David Leite Viana,Franklim Morais,Jorge Vieira Vaz

Formal modeling and analysis of timed systems

By