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
; ; ;
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar