Mixed-Time Signal Temporal Logic

Thomas Ferrère; Oded Maler; Dejan Nickovic

Mixed-Time Signal Temporal Logic

Thomas Ferrère
, Oded Maler
, Dejan Nickovic (Speaker)

Imagination Technologies

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
Pages	59-75
Number of pages	17
Publication status	Published - 2019
Event	FORMATS 2019 - Duration: 27 Aug 2019 → 28 Aug 2019

Conference

Conference	FORMATS 2019
Period	27/08/19 → 28/08/19

Research Field

Dependable Systems Engineering

Cite this

@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 (Speaker).
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. 2019. p. 59-75.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

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 -