Automatic verification methods for finite state systems : :: SCD d'Orléans

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	International workshop on automatic verification methods for finite state systems :Grenoble
Altri autori:	Sifakis, Joseph, 1946-...., informaticien (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 407
Soggetti:	Génie logiciel Informatique Protocoles de réseaux d'ordinateurs Logique symbolique et mathématique Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automatic verification methods for finite state systems, international workshop, Grenoble, France, June 12-14, 1989, proceedings, J. Sifakis (Ed.), Berlin, Springer-Verlag, 1990, 1 vol. (VII-382 p.), Lecture notes in computer science, 0-387-52148-8 • Automatic Verification Methods for Finite State Systems, Texte imprimé, 9783662179789

Documenti analoghi

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Applications and theory of Petri Nets 2001 : 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
di: Godefroid, Patrice, 19..-

Interactive multimedia on next generation networks : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Naples, Italy, November 18-21, 2003 : proceedings

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Interactive multimedia and next generation networks : Second international workshop on multimedia interactive protocols and systems, MIPS 2004, Grenoble, France, November 16-19, 2004 : proceedings

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings

Automatic verification of sequential infinite-state processes
di: Burkart, Olaf

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Routing in the internet
di: Huitema, Christian
Pubblicazione: (2000)

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Intelligent agents V : agent theories, architectures, and languages : 5th International Workshop, ATAL 98, Paris, France, July 4 7, 1998 : proceedings

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5 7, 2000 : revised papers

Formal hardware verification : methods and systems in comparison
di: Kropf, Thomas, 1961-

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings

Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings

Application and theory of Petri Nets 2000 : ; proceedings 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000

L'espionnage dans les réseaux TCP/IP : sniffers et anti-sniffers
di: Trabelsi, Zouheir
Pubblicazione: (2005)

SOFSEM'98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21 27, 1998 : proceedings

SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 : proceedings

Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 proceedings

TCP/IP illustrated. The protocols
di: Fall, Kevin R., et al.
Pubblicazione: (2012)

Algebraic methods : theory, tools and applications

Les évolutions du monde IP
Pubblicazione: (2005)

Application and theory of Petri nets 1999 : 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21 25, 1999 : proceedings

SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 29, 2002 : proceedings

ECOOP 2000 - object-oriented programming : 14th European Conference Sophia Antipolis and Cannes, France, June 12 16, 2000 : proceedings

Agent-oriented software engineering : first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers

Object-oriented technology : ECOOP 2000 workshop reader : workshops, panels and posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings

Concurrency and hardware design : advances in Petri nets
di: Cortadella, Jordi, 1962-

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Policies for distributed systems and networks : international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

Unifying Petri nets : advances in Petri nets
di: Ehrig, Hartmut, 1944-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales