Formalbasierte Sicherheitsanalyse im Eisenbahnwesen Potenziale von Petrinetzen für Beschreibung und Analyse sicherheitskritischer Prozesse und deren Steuerungen

Description

Zugl.: Braunschweig, Techn. Univ., Diss., 2006

Links & Downloads

1. http://d-nb.info/985669217/04
2. http://deposit.d-nb.de/cgi-bin/dokserv?id=3003360&prov=M&dok_var=1&dok_ext=htm

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/492157426
Date	January 2006
Creators	Slovák, Roman
Publisher	Saarbrücken VDM Verlag Dr. Müller
Source Sets	OCLC
Language	German
Detected Language	German