Return to search

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik

Zugl.: Stuttgart, Univ., Diss., 2006.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/315767620
Date January 2007
CreatorsBitsch, Friedemann.
Publisher[S.l. : s.n.],
Source SetsOCLC
LanguageGerman
Detected LanguageGerman
TypeOnline-Publikation.
SourceKostenfrei

Page generated in 0.002 seconds