Menu
Über SF4.0
Projektstruktur
TP-A: Codebasierte Parallelisierung
TP-B: Modellbasierte Parallelisierung
TP-C: Reengineering von Variabilität
TP-D: Plattform-Adaption
TP-K: Skalierung durch Zerlegung
TP-L: Semantik und Verifikation von parallelen Systemen
TP-P: Extraktion von Mini-Apps
TP-Q: Reengineering für Industrie 4.0
Mitglieder
Publikationen
In der Presse
Offene Stellen
Events
Industrietag
Sie sind hier
Startseite
» Publications
Publications
Found 1 results
Filters:
Autor
is
Dirk Beyer
[Clear All Filters]
2021
D. Beyer
und
Jakobs, M. - C.
,
„
Cooperative verifier-based testing with CoVeriTest
“
,
International Journal on Software Tools for Technology Transfer
, Bd. 23, S. 313-333, 2021.