caa a22 4500 37885092X CHVBK 20180305123323.0 cr unu---uuuuu 161128e20030201xx s 000 0 ger 10.1524/auto.52.2.A1.34758 doi (NATIONALLICENCE)gruyter-10.1524/auto.52.2.A1.34758 Temporale Spezifikationslogiken (Temporal Logics for Specifications) [Elektronische Daten] [H. Dierks, E.-R. Olderog] Temporal Logics for Specifications Logiken sind in der Informatik ein weitverbreitetes Mittel zur Spezifikation. Dazu werden Logiken verschiedener Ausprägung benutzt, z.B. temporale Logiken für reaktive Systeme, zu denen die Systeme der Automatisierungstechnik zählen. Dieser Beitrag enthält eine Einführung in die wichtigsten temporalen Logiken und Literaturverweise. © 2003 Oldenbourg Wissenschaftsverlag GmbH Engineering: general nationallicence Production engineering nationallicence Electrical engineering nationallicence Dierks H. aut Olderog E.-R aut at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 51/2/2003(2003-02-01), A1-A4 0178-2312 51:2/2003<A1 2003 51 auto https://doi.org/10.1524/auto.52.2.A1.34758 text/html Onlinezugriff via DOI 1 research article jats NATIONALLICENCE 856 40 https://doi.org/10.1524/auto.52.2.A1.34758 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Dierks H. aut NATIONALLICENCE 700 1- Olderog E.-R aut NATIONALLICENCE 773 0- at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik Oldenbourg Wissenschaftsverlag GmbH 51/2/2003(2003-02-01), A1-A4 0178-2312 51:2/2003<A1 2003 51 auto CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-gruyter