Torben Scheffel
发表
Martin Leucker,
Alexander Weiss,
Normann Decker,
2017,
SBMF.
Torben Scheffel,
Malte Schmitz,
2014,
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Normann Decker,
Torben Scheffel,
Malte Schmitz,
2016,
TACAS.
César Sánchez,
Martin Leucker,
Torben Scheffel,
2018,
SAC.
Alexander Weiss,
Torben Scheffel,
Malte Schmitz,
2018,
RV.
César Sánchez,
Martin Leucker,
Torben Scheffel,
2019,
RV.
Martin Leucker,
Torben Scheffel,
Malte Schmitz,
2018,
SBMF.
Adrian Rutle,
Volker Stolz,
Torben Scheffel,
2020,
ArXiv.
Martin Leucker,
Torben Scheffel,
Malte Schmitz,
2019,
Echtzeit.
Martin Leucker,
Alexander Weiss,
Normann Decker,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
César Sánchez,
Torben Scheffel,
Malte Schmitz,
2020,
Software Quality Journal.
Rui Wang,
Fernando Macías,
Adrian Rutle,
2016
.
Torben Scheffel,
Malte Schmitz,
Martin Leucker,
2017
.
Rui Wang,
Fernando Macías,
Torben Scheffel,
2016,
RV.