Population Protocols: Expressiveness, Succinctness and Automatic Verification.
- Weitere Titel
-
Populationsprokolle: Ausdrucksstärke, Speicherkomplexität, und automatische Verifikation.
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2020
- Schlagwort
-
Population
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2020
- Urheber
-
Jaax, Stefan
- Beteiligte Personen und Organisationen
-
Esparza Estaun, Francisco Javier
Esparza Estaun, Francisco Javier
Majumdar, Rupak
- URN
-
urn:nbn:de:bvb:91-diss-20200620-1538836-1-3
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 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
- Jaax, Stefan
- Esparza Estaun, Francisco Javier
- Majumdar, Rupak
- Universitätsbibliothek der TU München
Entstanden
- 2020
Ähnliche Objekte (12)
Operational semantics and verification of security protocols
Interval Analysis and Automatic Result Verification
Automatic signature verification using segmentation
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Graph algorithms and population protocols: Distributed Distance Approximation
Automatic Synthesis and Verification of Industrial Commissioning Processes
Efficient Analysis of Population Protocols and Chemical Reaction Networks
Automatic generation of specifications using verification tools
Operational semantics and verification of security protocols
Interval Analysis and Automatic Result Verification
Automatic signature verification using segmentation
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Graph algorithms and population protocols: Distributed Distance Approximation
Automatic Synthesis and Verification of Industrial Commissioning Processes
Efficient Analysis of Population Protocols and Chemical Reaction Networks
Automatic generation of specifications using verification tools
Operational semantics and verification of security protocols
Interval Analysis and Automatic Result Verification
Automatic signature verification using segmentation
Directed search for the verification of communication protocols
Directed search for the verification of communication protocols
Efficient Verification of Fault-Tolerant Message-Passing Protocols
Discourje: Runtime Verification of Communication Protocols in Clojure
RecordFlux: Facilitating the Verification of Communication Protocols
Graph algorithms and population protocols: Distributed Distance Approximation
Automatic Synthesis and Verification of Industrial Commissioning Processes
Efficient Analysis of Population Protocols and Chemical Reaction Networks