Monografie
Formal methods : foundations and applications : revised selected papers
- Sprache
-
Englisch
- Umfang
-
X, 349 S.
- ISBN
-
978-3-642-10451-0
- Identifier
-
998031003
- Reihe
-
Lecture notes in computer science; 5902
Thema
Softwaretest ; Programmverifikation ; Verifikation ; Sicherheitskritisches System ; Interrupt ; Fehlertoleranz ; Formale Methode ; Model Checking ; Konferenzschrift Gramado; Kongress Gramado <2009>
Beteiligte Personen und Organisationen
Oliveira, Marcel Vinícius Medeiros
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Oliveira, Marcel Vinícius Medeiros
Ähnliche Objekte (12)
Formal methods: foundations and applications : revised selected papers
Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers
Web services and formal methods : 7th international workshop ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Leveraging applications of formal methods : first international symposium ; revised selected papers
Web services and formal methods : 5th international workshop ; revised selected papers
Web services and formal methods : 9th international workshop ; revised selected papers
Web services and formal methods : 8th international workshop ; revised selected papers
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 methods for components and objects : 8th international symposium ; revised selected papers
Formal methods for components and objects : 10th international symposium ; revised selected papers
Formal methods: foundations and applications : revised selected papers
Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers
Web services and formal methods : 7th international workshop ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Leveraging applications of formal methods : first international symposium ; revised selected papers
Web services and formal methods : 5th international workshop ; revised selected papers
Web services and formal methods : 9th international workshop ; revised selected papers
Web services and formal methods : 8th international workshop ; revised selected papers
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 methods for components and objects : 8th international symposium ; revised selected papers
Formal methods for components and objects : 10th international symposium ; revised selected papers
Formal methods: foundations and applications : revised selected papers
Formal methods: foundations and applications : 14th Brazilian symposium ; revised selected papers
Web services and formal methods : 7th international workshop ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Leveraging applications of formal methods : first international symposium ; revised selected papers
Web services and formal methods : 5th international workshop ; revised selected papers
Web services and formal methods : 9th international workshop ; revised selected papers
Web services and formal methods : 8th international workshop ; revised selected papers
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 methods for components and objects : 8th international symposium ; revised selected papers