Monografie
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
- Sprache
-
Englisch
- Umfang
-
VIII, 338 S.
- ISBN
-
978-3-540-65003-4
- Identifier
-
954264088
- Reihe
-
Lecture notes in computer science; 1486
Thema
Softwareentwicklung ; Formale Methode ; Eingebettetes System ; Echtzeitsystem ; Fehlertoleranz ; Verifikation ; Model Checking ; Temporale Logik ; Requirements engineering ; Konferenzschrift Lyngby-T°arbæk; Kongress Lyngby-T°arbæk <1998>
Beteiligte Personen und Organisationen
Ravn, Anders P.
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:44 MESZ
Objekttyp
- Monografie
Beteiligte
- Ravn, Anders P.
Ähnliche Objekte (12)
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 4th international symposium ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 4th international symposium ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 4th international symposium ; proceedings
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings