Monografie
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
- Sprache
-
Englisch
- Identifier
-
1217783903
- Thema
-
Population
- Beteiligte Personen und Organisationen
-
Jaax, Stefan
Esparza Estaun, Francisco Javier
Esparza Estaun, Francisco Javier
Majumdar, Rupak
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 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.
Objekttyp
- Monografie
Beteiligte
- Jaax, Stefan
- Esparza Estaun, Francisco Javier
- Esparza Estaun, Francisco Javier
- Majumdar, Rupak
Ä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
Automatic Synthesis and Verification of Industrial Commissioning Processes
Graph algorithms and population protocols: Distributed Distance Approximation
Automatic Verification of Application-Tailored OSEK Kernels
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
Automatic Synthesis and Verification of Industrial Commissioning Processes
Graph algorithms and population protocols: Distributed Distance Approximation
Automatic Verification of Application-Tailored OSEK Kernels
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
Automatic Synthesis and Verification of Industrial Commissioning Processes
Graph algorithms and population protocols: Distributed Distance Approximation
Automatic Verification of Application-Tailored OSEK Kernels