| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen ... in Information and Communication Technology) | | 978-0-412-84760-8 | 1998 | Stan Budkowski · Ana Cavalli |
| Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings | | 978-3-540-20491-6 | 2003 | Perdita Stevens · Nestmann, Uwe |
| Formal Methods for Open Object-based Distributed Systems: Volume 1: v. 1 | | 978-0-412-79770-5 | 1996 | Jean-Bernard Stefani |
| Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference Paris, France, September 26-29, 2006 ... Notes in Computer Science , Band 4229) | | 978-3-540-46219-4 | 2009 | Jean-François Pradat-Peyre · Véronique Viguié Donzeau-Gouge |
| SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings | | 978-3-540-74983-7 | 2007 | Emmanuel Gaudin · Élie Najm · Rick Reed |