E-LIB Suche - Ergebnisse für: Gräf, Susanne

1

Historic methicillin-resistant Staphylococcus aureus: expan..:

Benvenga, Vanni ; Cuénod, Aline ; Purushothaman, Srinithi...
https://boris.unibe.ch/192619/. , 2024

2

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
info:eu-repo/semantics/altIdentifier/doi/10.4230/DARTS.9.1.4. , 2023

Link: https://hal.science/hal-..

3

From FMTV to WATERS: lessons learned from the first verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
https://doi.org/10.4230/LIPIcs.ECRTS.2023.19. , 2023

Link: https://hdl.handle.net/1..

4

From FMTV to WATERS: lessons learned from the first verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
https://doi.org/10.4230/DARTS.9.1.4. , 2023

Link: https://hdl.handle.net/1..

5

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
Is Part Of LIPIcs, Volume 262, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). , 2023

Link: https://doi.org/10.4230/..

6

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
https://research.manchester.ac.uk/en/publications/8e9ffde5-d592-46ce-9fda-173750631cf3. , 2023

Link: https://research.manches..

7

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
info:eu-repo/semantics/altIdentifier/doi/10.4230/DARTS.9.1.4. , 2023

Link: https://hal.science/hal-..

8

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
Is Part Of DARTS, Volume 9, Issue 1, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). , 2023

Link: https://doi.org/10.4230/..

9

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
info:eu-repo/semantics/altIdentifier/doi/10.4230/DARTS.9.1.4. , 2023

Link: https://hal.science/hal-..

10

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
info:eu-repo/semantics/altIdentifier/doi/10.4230/DARTS.9.1.4. , 2023

Link: https://hal.science/hal-..

11

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
info:eu-repo/semantics/altIdentifier/doi/10.4230/DARTS.9.1.4. , 2023

Link: https://hal.science/hal-..

12

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Etienne ; Dal Zilio, Silvano...
https://drops.dagstuhl.de/opus/volltexte/2023/18048. , 2023

Link: https://orbilu.uni.lu/ha..

13

From FMTV to WATERS: Lessons Learned from the First Verific..:

Altmeyer, Sebastian ; André, Étienne ; Dal Zilio, Silvano...
info:eu-repo/semantics/altIdentifier/doi/10.4230/DARTS.9.1.4. , 2023

Link: https://hal.science/hal-..

14

MIMOS: A Deterministic Model for the Design and Update of R..:

Yi, Wang ; Mohaqeqi, Morteza ; Graf, Susanne
http://arxiv.org/abs/2011.13234. , 2020

Link: http://arxiv.org/abs/201..

15

Building Correct Cyber-Physical Systems: Why we need a Mult..:

Graf, Susanne ; Quinton, Sophie ; Girault, Alain.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-00244-2_2. , 2018

Link: https://hal.inria.fr/hal..