Mixed-Time Signal Temporal Logic

Thomas Ferrère; Oded Maler; Dejan Nickovic

Mixed-Time Signal Temporal Logic

Thomas Ferrère, Oded Maler, Dejan Nickovic (Vortragende:r)

Security & Communication Technologies

Imagination Technologies

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
Seiten	59-75
Seitenumfang	17
Publikationsstatus	Veröffentlicht - 2019
Veranstaltung	FORMATS 2019 - Dauer: 27 Aug. 2019 → 28 Aug. 2019

Konferenz

Konferenz	FORMATS 2019
Zeitraum	27/08/19 → 28/08/19

Research Field

Dependable Systems Engineering

Diese Publikation zitieren

@inproceedings{d77a8e317e5a44bab029d2084b0d5b70,

title = "Mixed-Time Signal Temporal Logic",

author = "Thomas Ferr{\`e}re and Oded Maler and Dejan Nickovic",

year = "2019",

language = "English",

isbn = "978-3-030-29661-2",

pages = "59--75",

booktitle = "Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings",

note = "FORMATS 2019 ; Conference date: 27-08-2019 Through 28-08-2019",

}

Mixed-Time Signal Temporal Logic. / Ferrère, Thomas; Maler, Oded; Nickovic, Dejan (Vortragende:r).
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. 2019. S. 59-75.

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

TY - GEN

T1 - Mixed-Time Signal Temporal Logic

AU - Ferrère, Thomas

AU - Maler, Oded

A2 - Nickovic, Dejan

PY - 2019

Y1 - 2019

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-29661-2

SP - 59

EP - 75

BT - Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

T2 - FORMATS 2019

Y2 - 27 August 2019 through 28 August 2019

ER -