Old Web
English
Sign In
Acemap
>
Paper
>
Model Checking of Integratively Designed Product and Production Systems
Model Checking of Integratively Designed Product and Production Systems
2019
Sergej Japs
Rik Rasor
Lydia Kaiser
Roman Dumitrescu
Keywords:
Model checking
Programming language
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]