Model Checking of Integratively Designed Product and Production Systems
R. Dumitrescu, S. Japs, L. Kaiser, R. Rasor, in: TdSE 2019, Garching, 2019.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Dumitrescu, RomanLibreCat;
Japs, Sergej;
Kaiser, Lydia;
Rasor, Rik
Publishing Year
Proceedings Title
TdSE 2019
LibreCat-ID
Cite this
Dumitrescu R, Japs S, Kaiser L, Rasor R. Model Checking of Integratively Designed Product and Production Systems. In: TdSE 2019. Garching; 2019.
Dumitrescu, R., Japs, S., Kaiser, L., & Rasor, R. (2019). Model Checking of Integratively Designed Product and Production Systems. In TdSE 2019. Garching.
@inproceedings{Dumitrescu_Japs_Kaiser_Rasor_2019, place={Garching}, title={Model Checking of Integratively Designed Product and Production Systems}, booktitle={TdSE 2019}, author={Dumitrescu, Roman and Japs, Sergej and Kaiser, Lydia and Rasor, Rik}, year={2019} }
Dumitrescu, Roman, Sergej Japs, Lydia Kaiser, and Rik Rasor. “Model Checking of Integratively Designed Product and Production Systems.” In TdSE 2019. Garching, 2019.
R. Dumitrescu, S. Japs, L. Kaiser, and R. Rasor, “Model Checking of Integratively Designed Product and Production Systems,” in TdSE 2019, 2019.
Dumitrescu, Roman, et al. “Model Checking of Integratively Designed Product and Production Systems.” TdSE 2019, 2019.
Google Scholar