Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Publicado 2019

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Publicado 2019

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Publicado 2018

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Publicado 2018

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Publicado 2019

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

por Silva, Alexandra
Publicado 2021

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

por Silva, Alexandra
Publicado 2021

Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobilen Serious Games

por Hofmann, Julia. author
Publicado 2020

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

por Ihlenfeldt, Steffen
Publicado 2023

Echtzeitsimulation in der Produktionsautomatisierung Beiträge zu Virtueller Inbetriebnahme, Digitalem Engineering und Digitalen Zwillingen

Publicado 2024

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019

Publicado 2024

Toward Good Simulation Practice Best Practices for the Use of Computational Modelling and Simulation in the Regulatory Process of Biomedical Products

Publicado 2024