Konferenzschrift
Leveraging applications of formal methods, verification and validation, Pt. 2.. Applications and case studies
- Sprache
-
Englisch
- Umfang
-
XVI, 361 S.
- Anmerkungen
-
Ill., graph. Darst.
- ISBN
-
9783642340314
3642340318
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Erschienen in
-
Leveraging applications of formal methods, verification and validation
Lecture notes in computer science ; 7610
- Klassifikation
-
Informatik
Ingenieurwissenschaften und Maschinenbau
Medizin, Gesundheit
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg
- (wer)
-
Springer
- (wann)
-
2012
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:47 MEZ
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
- Konferenzschrift
Beteiligte
- Springer
Entstanden
- 2012
Ähnliche Objekte (12)
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Leveraging consistent hashing in your python applications
Verification and validation of sensor networks
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Leveraging consistent hashing in your python applications
Verification and validation of sensor networks
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Leveraging applications of formal methods, verification and validation, Pt. 1.. Technologies for mastering change
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Applications of automata learning in verification and synthesis
Applications of automata learning in verification and synthesis
Leveraging consistent hashing in your python applications