Hochschulschrift
Supporting Validation and Verification of State-Based Formal Models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Düsseldorf, Heinrich-Heine-Universität, Diss., 2015
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Düsseldorf
- (wer)
-
Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
- (wann)
-
2016
- Urheber
-
Plagge, Daniel
- Beteiligte Personen und Organisationen
-
Leuschel, Michael
Denecker, Marc
- URN
-
urn:nbn:de:hbz:061-20160404-143308-5
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:51 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
- Hochschulschrift
Beteiligte
- Plagge, Daniel
- Leuschel, Michael
- Denecker, Marc
- Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
Entstanden
- 2016
Ähnliche Objekte (12)
Formal verification and validation of run-to-completion style state charts using Event-B
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal Verification in Automated Manufacturing
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Formal verification and validation of run-to-completion style state charts using Event-B
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal Verification in Automated Manufacturing
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers
Leveraging applications of formal methods, verification and validation, Pt. 2.. Specialized techniques and applications
Formal verification and validation of run-to-completion style state charts using Event-B
Leveraging applications of formal methods, verification, and validation, Pt. 1
Leveraging applications of formal methods, verification, and validation, Pt. 2
Leveraging applications of formal methods, verification and validation : third international symposium ; proceedings
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification of recursive predicates
Formal Verification in Automated Manufacturing
Formal verification for ALICA plans
Formal verification of pipelined microprocessors
Leveraging applications of formal methods, verification, and validation : international workshops ; revised selected papers