( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.

. FTCS, стр. 680-685. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Olivier Bouissou

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Moritz Daniel Marcinowski

Caroline Marcon

Valerian Marcinkowski

 

Другие публикации лиц с тем же именем

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