A case study : verifying a mutual exclusion protocol with process creation using graph transformation systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2004,8
- Klassifikation
-
Informatik
- Schlagwort
-
Graphersetzungssystem ; Programmverifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2005
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:93-opus-22387
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 08:03 MEZ
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.
Beteiligte
- Dotti, Fernando Luís
- König, Barbara
- Santos, Osmar Marchi dos
- Ribeiro, Leila
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2005
Ähnliche Objekte (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