1
0
0
(1 - 30 von 35
)
Publications - Informatik 2 - RWTH Aachen University
www-i2.informatik.rwth-aachen.de
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Volume of Karlsruhe Reports in Informatics, pages 226–243, Karlsruhe,
Publications of Joost-Pieter Katoen - RWTH …
www-i2.informatik.rwth-aachen.de
Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Ted Luiten, Judi Romijn. Smart Railroad Maintenance Engineering with Stochastic Model Checking. 2nd Int. Conf. on Railway Technology: Research, Development and Maintenance (Railways 2014), …
dblp: BibTeX records: Dennis Guck
dblp.uni-trier.de
List of computer science publications by BibTeX records: Dennis Guck
Fault Trees on a Diet | Informatik 2 - RWTH Aachen
moves.rwth-aachen.de
People Involved. Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga · Further information. A paper presenting the results is ... › ft-d...
dblp: International Conference on Formal Engineering Methods 2015
dblp2.uni-trier.de
Bibliographic content of International Conference on Formal Engineering Methods 2015
dblp: Martin R. Neuhäußer
dblp.uni-trier.de
List of computer science publications by Martin R. Neuhäußer
HTML Message
lists.uni-paderborn.de
... Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor<br>Dimitra Giannakopoulou, Dennis Guck and Johann Schumann.
Publications | Informatik 2
moves.rwth-aachen.de
[bibtex] · Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Analysis of Timed and Long-Run Objectives in Markov Automata.
dblp: Mariëlle Stoelinga
dblp.uni-trier.de
List of computer science publications by Mariëlle Stoelinga
dblp: Dimitra Giannakopoulou
dblp.uni-trier.de
List of computer science publications by Dimitra Giannakopoulou
[fg-arc] FM 2016: 21st International Symposium on Formal Methods...
lists.uni-paderborn.de
of a Hypervisor Dimitra Giannakopoulou, Dennis Guck and ...
dblp: Joost-Pieter Katoen
dblp.uni-trier.de
List of computer science publications by Joost-Pieter Katoen
dblp: Logical Methods in Computer Science, Volume 10
dblp.dagstuhl.de
Bibliographic content of Logical Methods in Computer Science, Volume 10
sortiert nach Relevanz / Datum