Startseite > Publikationen > Publikationen

Publikationen

Kardos, Martin;Rammig, Franz-Josef:

Model Based Formal Verification of Distributed Production Control Systems.

In: Ehrig, Hartmut (Hrsg.): Integration of Software Specification Techniques for Applications in Engineering, LNCS, Nr. 3147 , S. 451-473. Springer Verlag, 1. Okt. 2004

Dateien

paper.pdf



Bibtex

@incollection{hniid=2011,
author = {Kardos, Martin and Rammig, Franz-Josef},
title = {Model Based Formal Verification of Distributed Production Control Systems},
editor = {Ehrig, Hartmut},
booktitle = {Integration of Software Specification Techniques for Applications in Engineering},
number = {3147},
series = {LNCS},
pages = {451-473},
publisher = {Springer Verlag},
month = {1~} # oct,
year = {2004},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/2011