A case study : verifying a mutual exclusion protocol with process creation using graph transformation systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2004,8
- Classification
-
Informatik
- Keyword
-
Graphersetzungssystem ; Programmverifikation
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Universitätsbibliothek der Universität Stuttgart
- (when)
-
2005
- Contributor
- URN
-
urn:nbn:de:bsz:93-opus-22387
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:57 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Dotti, Fernando Luís
- König, Barbara
- Santos, Osmar Marchi dos
- Ribeiro, Leila
- Universitätsbibliothek der Universität Stuttgart
Time of origin
- 2005
Other Objects (12)
Deadlocks and dihomotopy in mutual exclusion models
Copoiesis: Mutual knowledge creation in alliances
The Grant Negotiation and Authorization Protocol : attacking, fixing, and verifying an emerging standard
Verifying treaty compliance : limiting weapons of mass destruction and monitoring Kyoto protocol provisions
Verifying OPAL, Pt. 1.. Verifying in the small
Family Firms, Alliance Governance and Mutual Knowledge Creation
Family Firms, Alliance Governance and Mutual Knowledge Creation
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Social Exclusion and Forms of Social Capital: Czech Evidence on Mutual Links
Social Exclusion and Forms of Social Capital: Czech Evidence on Mutual Links
Self-verifying cellular automata
Verifying real-time systems
Deadlocks and dihomotopy in mutual exclusion models
Copoiesis: Mutual knowledge creation in alliances
The Grant Negotiation and Authorization Protocol : attacking, fixing, and verifying an emerging standard
Verifying treaty compliance : limiting weapons of mass destruction and monitoring Kyoto protocol provisions
Verifying OPAL, Pt. 1.. Verifying in the small
Family Firms, Alliance Governance and Mutual Knowledge Creation
Family Firms, Alliance Governance and Mutual Knowledge Creation
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Social Exclusion and Forms of Social Capital: Czech Evidence on Mutual Links
Social Exclusion and Forms of Social Capital: Czech Evidence on Mutual Links
Self-verifying cellular automata
Verifying real-time systems
Deadlocks and dihomotopy in mutual exclusion models
Copoiesis: Mutual knowledge creation in alliances
The Grant Negotiation and Authorization Protocol : attacking, fixing, and verifying an emerging standard
Verifying treaty compliance : limiting weapons of mass destruction and monitoring Kyoto protocol provisions
Verifying OPAL, Pt. 1.. Verifying in the small
Family Firms, Alliance Governance and Mutual Knowledge Creation
Family Firms, Alliance Governance and Mutual Knowledge Creation
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
Social Exclusion and Forms of Social Capital: Czech Evidence on Mutual Links
Social Exclusion and Forms of Social Capital: Czech Evidence on Mutual Links
Self-verifying cellular automata