Veröffentlichungen im Forschungsgebiet:

ISILEIT

Details for GKN02_ag

Title: Integrating Verification in a Design Process for Distributed Production Control Systems
Booktitle: Proc. of Second International Workshop on Integration of Specification Techniques for Applications in Engineering (INT2002), Grenoble, France
Written by: Holger Giese, Martin Kardos, Ulrich A. Nickel:
in: April 2002
Volume: Number:
on pages:
Chapter:
Editor:
Publisher:
Series:
Address:
Edition:
ISBN:
how published:
Organization:
School:
Institution:
ISSN:
Doi:
File:
URL:

Note:

Abstract:

Eintrag als Bibtex exportieren

Impressum | Webmaster | Letzte Änderungen am : 18.03.2014