Theoretical and practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 : proceedings

Increasing the designer s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri catio...

Fuld beskrivelse

Bibliografiske detaljer

Collectivités auteurs:	International SPIN Workshop :Toulouse, International SPIN Workshop (Auteur)
Andre forfattere:	Dams, Dennis Rene, 1966- (Directeur de la publication), Gerth, Robert (Directeur de la publication), Leue, Stefan, 1962-...., auteur en informatique (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1680
Fag:	Génie logiciel Informatique Langages de programmation Logiciels > Développement Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Practical aspects of SPIN model-checking, 6th International Workshop, SPIN'99, held as FM'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, proceedings, Dennis Dams, Rob Gerth, Stefan Leue ... [et al.], (Eds.), 1999, New York, Springer, 1 vol. (X-276 p.), Lecture notes in computer science, 3-540-66499-8 • Theoretical and Practical Aspects of SPIN Model Checking, Texte imprimé, 9783662211687