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), Nr.3, S.195-196
ISSN: 0167-6423
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) <5, 2000, Berlin>
Englisch
Zeitschriftenaufsatz, Konferenzbeitrag
Fraunhofer FOKUS ()

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