Monografie
Abstract state machines 2004 : advances in theory and practice ; 11th international workshop ; proceedings
- Sprache
-
Englisch
- Umfang
-
XII, 233 S.
- ISBN
-
978-3-540-22094-7
- Identifier
-
97106220X
- Reihe
-
Lecture notes in computer science; Vol. 3052
Thema
Verifikation ; Model Checking ; UML ; Nebenläufigkeit ; Abstrakte Zustandsmaschine ; Formale Spezifikationstechnik ; Konferenzschrift Wittenberg; Kongress Wittenberg <2004>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:24 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Theoretical aspects of computing : 6th international colloquium ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Theoretical aspects of computing : 6th international colloquium ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Abstract state machines : theory and applications ; international workshop ; proceedings
Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings
Compositionality : the significant difference ; international symposium ; revised lectures
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Theoretical aspects of computing : 6th international colloquium ; proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Automated technology for verification and analysis : second international conference : proceedings