Autor der Publikation

The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.

. FTCS, Seite 680-685. IEEE Computer Society, (1993)

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

Model Checking the Multi-Formalism Language FIGARO., , , , und . DSN, Seite 463-470. IEEE, (2021)Cross-fertilization between safety and security engineering., und . Reliab. Eng. Syst. Saf., (2013)Various Ways to Quantify BDMPs., , , und . MARS@ETAPS, Volume 316 von EPTCS, Seite 1-14. (2020)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , und 10 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 55-89. EasyChair, (2021)Scalable Reliability Analysis by Lazy Verification., , , und . NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2021)A Compositional Semantics for Repairable BDMPs., , und . SAFECOMP, Volume 12234 von Lecture Notes in Computer Science, Seite 82-98. Springer, (2020)Explaining Boolean-Logic Driven Markov Processes using GSPNs., , und . EDCC, Seite 119-126. IEEE, (2020)The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.. FTCS, Seite 680-685. IEEE Computer Society, (1993)Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs., , , und . PRDC, Seite 266-275. IEEE, (2019)