- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Diss., 2013
- Classification
-
Informatik
- Keyword
-
Formale Methode, Verifikation ; Verteiltes System ; Model Checking
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2013
- Creator
-
Lu, Tianxiang
- Contributor
-
Weidenbach, Christoph
- URN
-
urn:nbn:de:bsz:291-scidok-55878
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 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.
Object type
- Hochschulschrift
Associated
- Lu, Tianxiang
- Weidenbach, Christoph
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2013
Other Objects (12)
Formal protocol verification applied : 07421 executive summary
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Towards Verification of the Pastry Protocol using TLA+
Protocol Verification with Heuristic Search
Formal verification of pipelined microprocessors
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Belief change and cryptographic protocol verification
Formal Verification throughout the Development of Robust Systems
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software
Polynomial formal verification of approximate functions
Formal protocol verification applied : 07421 executive summary
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Towards Verification of the Pastry Protocol using TLA+
Protocol Verification with Heuristic Search
Formal verification of pipelined microprocessors
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Belief change and cryptographic protocol verification
Formal Verification throughout the Development of Robust Systems
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software
Polynomial formal verification of approximate functions
Formal protocol verification applied : 07421 executive summary
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Towards Verification of the Pastry Protocol using TLA+
Protocol Verification with Heuristic Search
Formal verification of pipelined microprocessors
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Belief change and cryptographic protocol verification
Formal Verification throughout the Development of Robust Systems
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software