Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Special issue on the 5th international workshop of the ERCIM working group on formal methods for industrial critical systems, Berlin, April 3-4, 2000. Selected papers. Preface

 
: Garavel, H.; Gnesi, S.; Schieferdecker, I.

:

Science of computer programming 46 (2003), No.3, pp.195-196
ISSN: 0167-6423
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) <5, 2000, Berlin>
English
Journal Article, Conference Paper
Fraunhofer FOKUS ()

: http://publica.fraunhofer.de/documents/N-38827.html