CiNii Books Author

1

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings

John Hatcliff, Elena Zucca (eds.)

Springer c2010 Lecture notes in computer science 6117

Available at 1 libraries

3

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)

Springer c2006 Lecture notes in computer science 4229

Available at 7 libraries

5

Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 ; proceedings

Manuel Núñez ... [et al.] (eds.)

Springer c2004 Lecture notes in computer science 3236

Available at 13 libraries

7

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings

Hartmut König, Monika Heiner, Adam Wolisz (eds.)

Springer c2003 Lecture notes in computer science 2767

Available at 20 libraries

9

Formal description techniques, IX : theory, application and tools : IFIP TC6

6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 / edited by Reinhard Gotzhein and Jan Bredereke

published by Chapman & Hall on behalf of the International Federation for Information Processing 1996

Available at 7 libraries

11

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques

edited by Dieter Hogrefe and Stefan Leue

Chapman & Hall on behalf of the International Federation for Information Processing 1995

Available at 4 libraries

13

Formal description techniques, IV : proceedings of the IFIP TC/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

edited by K.R. Parker, G.A. Rose

North-Holland 1992 IFIP transactions C . Communications systems ; 2

Available at 11 libraries

15

Formal description techniques II : proceedings of the IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989

edited by Son T. Vuong

North-Holland 1990

Available at 12 libraries

FORTE

Search Results1-15 of 15

Search this author

Related Authors