( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An introduction to the ORIS tool.

, , , и . VALUETOOLS, стр. 9-11. ACM, (2017)

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.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Battafarano

 

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

Flood Resilience of a Water Distribution System., , , , и . Resilience of Cyber-Physical Systems, Springer, (2019)Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study., , , и . IEEE Trans. Ind. Informatics, 9 (4): 1806-1818 (2013)The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems., , , и . IEEE Trans. Software Eng., 47 (6): 1211-1225 (2021)Formal methods in the development life cycle of real-time software.. University of Florence, Italy, (2010)Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services., , и . ICPE, стр. 177-188. ACM, (2021)Quantitative evaluation of availability measures of gas distribution networks., , , и . VALUETOOLS, стр. 145-154. ICST/ACM, (2013)Software rejuvenation impacts on a phased-mission system for Mars exploration., , , , и . ISSRE (Supplemental Proceedings), стр. 275-280. IEEE Computer Society, (2013)Oris: a tool for modeling, verification and evaluation of real-time systems., , , и . Int. J. Softw. Tools Technol. Transf., 12 (5): 391-403 (2010)Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems., , и . IEEE Trans. Software Eng., 35 (5): 703-719 (2009)Sensitization of symbolic runs in real-time testing using the ORIS tool., , и . ETFA, стр. 85-92. IEEE, (2007)