Zur Trefferliste
Cover von Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik wird in neuem Tab geöffnet

Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik

Verfasser: Suche nach diesem Verfasser Bitsch, Friedemann
Jahr: 2007
Verlag: Aachen, Shaker
Mediengruppe: Monographie
verfügbar

Exemplare

ZweigstelleStandorteStandort 2VorbestellungenFristStatus
Zweigstelle: IFA Standorte: 3.617.300 Bi Standort 2: Vorbestellungen: 0 Frist: Status: Verfügbar

Details

Verfasser: Suche nach diesem Verfasser Bitsch, Friedemann
Jahr: 2007
Verlag: Aachen, Shaker
opens in new tab
Systematik: Suche nach dieser Systematik 617.300
Suche nach diesem Interessenskreis
ISBN: 3-8322-6035-8
2. ISBN: 978-3-8322-6035-4
Beschreibung: XIV, 175 S. : Ill., graph. Darst.
Suche nach dieser Beteiligten Person
Sprache: Deutsch
Fußnote: Zugl.: Stuttgart, Univ., Diss., 2006
Mediengruppe: Monographie