Autor der Publikation

On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.

, und . RTCSA, Seite 165-172. IEEE Computer Society, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Design and simulation of RF terminal VGA module for monitoring system of offshore dumping areas., , , , und . FSKD, Seite 2500-2502. IEEE, (2011)Formal Specification of Hybrid MARTE Statecharts., , , , und . TASE, Seite 59-66. IEEE Computer Society, (2012)On the Ambiguity of Registration Uncertainty., , , , , , , , , und 2 andere Autor(en). CoRR, (2018)A New Construction of Time Capsule Signature., , , , und . IACR Cryptology ePrint Archive, (2006)Design and Verification of Fault-Tolerant Components., , , und . Methods, Models and Tools for Fault Tolerance, Volume 5454 von Lecture Notes in Computer Science, Springer, (2009)Deformable Registration of Whole Brain Zebrafish Microscopy Using an Implementation of the Flash Algorithm Within Ants., , , , , , und . ISBI, Seite 213-217. IEEE, (2019)Dynamic Matchings in Left Weighted Convex Bipartite Graphs., , und . FAW, Volume 8497 von Lecture Notes in Computer Science, Seite 330-342. Springer, (2014)Low-Dimensional Statistics of Anatomical Variability via Compact Representation of Image Deformations., , und . MICCAI (3), Volume 9902 von Lecture Notes in Computer Science, Seite 166-173. (2016)A Feature-Driven Active Framework for Ultrasound-Based Brain Shift Compensation., , , , , , , , , und 3 andere Autor(en). MICCAI (4), Volume 11073 von Lecture Notes in Computer Science, Seite 30-38. Springer, (2018)An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants., , , , , , und . COMPSAC (1), Seite 138-143. IEEE Computer Society, (2017)