- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
XI, 248 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Oldenburg, Univ., Diss., 2008
- Erschienen in
-
Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften / Carl von Ossietzky Universität Oldenburg ; Nr. [20]08,02
- Ereignis
-
Veröffentlichung
- (wo)
-
Oldenburg
- (wer)
-
Univ., Fak. II, Dep. für Informatik
- (wann)
-
2008
- 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:49 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
- Brückner, Ingo
- Univ., Fak. II, Dep. für Informatik
Entstanden
- 2008
Ähnliche Objekte (12)
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Algebraic specifications in an integrated software development and verification system
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
Formal verification for ALICA plans
Automatic generation of specifications using verification tools
Analogy in verification of state-based specifications
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Formal specifications with higher order parameterization
Modelling Memory Consistency Models for Formal Verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Algebraic specifications in an integrated software development and verification system
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
Formal verification for ALICA plans
Automatic generation of specifications using verification tools
Analogy in verification of state-based specifications
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Formal specifications with higher order parameterization
Modelling Memory Consistency Models for Formal Verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Algebraic specifications in an integrated software development and verification system
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
Formal verification for ALICA plans
Automatic generation of specifications using verification tools
Analogy in verification of state-based specifications
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Formal specifications with higher order parameterization