Bibliography
System Engineering and Validation
Daniel Moldt.
System engineering and validation.
In C. Girault and Rüdiger Valk, editors, Systems
Engineering: A Petri Net Based Approach to Modelling, Verification, and
Implementation, MATCH Advanced School, Jaca, Spain, September 1998.
BibTeX
@INPROCEEDINGS{Moldt98,
AUTHOR = {Moldt, Daniel},
BOOKTITLE = {Systems Engineering: A {Petri} Net Based Approach to Modelling, Verification, and Implementation, MATCH Advanced School, Jaca, Spain},
EDITOR = {Girault, C. and Valk, R{\"u}diger},
MONTH = sep,
TITLE = {System Engineering and Validation},
YEAR = 1998
}
