Hochschulschrift
Formal specification and verification : structures and techniques
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783936890907
3936890900
- Maße
-
21 cm
- Umfang
-
X, 182 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2005
- Erschienen in
-
Schriftenreihe / Technische Universität Kaiserslautern ; Bd. 24
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Fachbereich Informatik, Techn. Univ.
- (wann)
-
c 2005
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:48 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
- Eschbach, Robert
- Fachbereich Informatik, Techn. Univ.
Entstanden
- c 2005
Ähnliche Objekte (12)
Formal specification : techniques and applications
Formal specification and verification of a microkernel
Formal Specification and Verification for Automated Production Systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verification of Security Properties Using Formal Techniques
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Applicability of formal description techniques for test specification
A uniform framework for the formal specification and verification of information flow security
Formal specification : techniques and applications
Formal specification and verification of a microkernel
Formal Specification and Verification for Automated Production Systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verification of Security Properties Using Formal Techniques
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Applicability of formal description techniques for test specification
A uniform framework for the formal specification and verification of information flow security
Formal specification : techniques and applications
Formal specification and verification of a microkernel
Formal Specification and Verification for Automated Production Systems
Formal Specification and Verification of Knowledge and its Application
Formal Specification, Testing and Verification on the Truck Simulation
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Verification of Security Properties Using Formal Techniques
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Applicability of formal description techniques for test specification