Old Web
English
Sign In
Acemap
>
Paper
>
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems
2021
Tino Teige
Andreas Eggers
Karsten Scheibler
Matthias Stasch
Udo Brockmeyer
Hans Jürgen Holberg
Tom Bienmüller
Keywords:
Formal methods
Industrial production
Manufacturing engineering
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
6
References
0
Citations
NaN
KQI
[]