Hochschulschrift
Automated assertion transformation across multiple abstraction levels
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 2009
- Klassifikation
-
Elektrotechnik, Elektronik
- Urheber
- URN
-
urn:nbn:de:bvb:91-diss-20081021-676680-1-2
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:50 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
Ähnliche Objekte (12)
A new assertion language covering multiple levels of abstraction
Assertion tertia
The assertion
Moral Assertion
Automated Predicate Abstraction for Real-Time Models
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cluster abstraction of graph transformation systems
Automated and dynamic abstraction of MPI application performance
Independence as an Assertion
Assertion, action, and context
Assertion, belief, and context
A new assertion language covering multiple levels of abstraction
Assertion tertia
The assertion
Moral Assertion
Automated Predicate Abstraction for Real-Time Models
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cluster abstraction of graph transformation systems
Automated and dynamic abstraction of MPI application performance
Independence as an Assertion
Assertion, action, and context
Assertion, belief, and context
A new assertion language covering multiple levels of abstraction
Assertion tertia
The assertion
Moral Assertion
Automated Predicate Abstraction for Real-Time Models
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Cluster abstraction of graph transformation systems
Automated and dynamic abstraction of MPI application performance
Independence as an Assertion
Assertion, action, and context