formal methods Kitapları
Bu türde 11 kitap
Formal techniques for networked and distributed systems, FORTE 2003
FORTE 2003 (2003 Berlin, Germany)
Cafe
Kokichi Futatsugi
Formal methods for components and objects
FMCO 2008 (2008 Amsterdam, Netherlands)
Formal description techniques and protocol specification, testing, and verification
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France)
Formal methods for performance evaluation
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)
Integrated formal methods
International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland)
Modeling in event-b
Jean-Raymond Abrial
Formal methods for protocol engineering and distributed systems
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 aspects in security and trust
Theo Dimitrakos
Software specification methods
Henri Habrias
Formal methods for components and objects
Marcello M. Bonsangue