Publications in the Research Area:

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

Imprint | Webmaster | Recent changes: 18.03.2014