Temporale Spezifikationslogiken (Temporal Logics for Specifications)

Verfasser / Beitragende:
[H. Dierks, E.-R. Olderog]
Ort, Verlag, Jahr:
2003
Enthalten in:
at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik, 51/2/2003(2003-02-01), A1-A4
Format:
Artikel (online)
Online Zugang:
Get it Online (National Licence)
ID: 37885092X
LEADER caa a22 4500
001 37885092X
003 CHVBK
005 20180305123323.0
007 cr unu---uuuuu
008 161128e20030201xx s 000 0 ger
024 7 0 |a 10.1524/auto.52.2.A1.34758  |2 doi 
035 |a (NATIONALLICENCE)gruyter-10.1524/auto.52.2.A1.34758 
245 0 0 |a Temporale Spezifikationslogiken (Temporal Logics for Specifications)  |h [Elektronische Daten]  |c [H. Dierks, E.-R. Olderog] 
246 1 |a Temporal Logics for Specifications 
520 3 |a 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. 
540 |a © 2003 Oldenbourg Wissenschaftsverlag GmbH 
690 7 |a Engineering: general  |2 nationallicence 
690 7 |a Production engineering  |2 nationallicence 
690 7 |a Electrical engineering  |2 nationallicence 
700 1 |a Dierks  |D H.  |4 aut 
700 1 |a Olderog  |D E.-R  |4 aut 
773 0 |t at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik  |d Oldenbourg Wissenschaftsverlag GmbH  |g 51/2/2003(2003-02-01), A1-A4  |x 0178-2312  |q 51:2/2003|1 2003  |2 51  |o auto 
856 4 0 |u https://doi.org/10.1524/auto.52.2.A1.34758  |q text/html  |z Onlinezugriff via DOI 
908 |D 1  |a research article  |2 jats 
950 |B NATIONALLICENCE  |P 856  |E 40  |u https://doi.org/10.1524/auto.52.2.A1.34758  |q text/html  |z Onlinezugriff via DOI 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Dierks  |D H.  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Olderog  |D E.-R  |4 aut 
950 |B NATIONALLICENCE  |P 773  |E 0-  |t at - Automatisierungstechnik/Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik  |d Oldenbourg Wissenschaftsverlag GmbH  |g 51/2/2003(2003-02-01), A1-A4  |x 0178-2312  |q 51:2/2003|1 2003  |2 51  |o auto 
900 7 |b CC0  |u http://creativecommons.org/publicdomain/zero/1.0  |2 nationallicence 
898 |a BK010053  |b XK010053  |c XK010000 
949 |B NATIONALLICENCE  |F NATIONALLICENCE  |b NL-gruyter 

Verknüpfte Einträge