The first-order logic of signals: keynote

Thomas Henzinger; Alexey Bakhirkin; Thomas Ferrère; Dejan Nickovic

The first-order logic of signals: keynote

Thomas Henzinger (Vortragende:r, eingeladen), Alexey Bakhirkin (Autor:in, eingeladen), Thomas Ferrère (Autor:in, eingeladen), Dejan Nickovic (Autor:in, eingeladen)

Security & Communication Technologies

Imagination Technologies

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

Originalsprache	Englisch
Titel	Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018
Seiten	1-10
Seitenumfang	10
Publikationsstatus	Veröffentlicht - 2018
Veranstaltung	EMSOFT 2018 - Dauer: 30 Sept. 2018 → 5 Okt. 2018

Konferenz

Konferenz	EMSOFT 2018
Zeitraum	30/09/18 → 5/10/18

Research Field

Dependable Systems Engineering

Diese Publikation zitieren

@inproceedings{f14397bdf2bf4feda4278428fa24cdd1,

title = "The first-order logic of signals: keynote",

author = "Thomas Henzinger and Alexey Bakhirkin and Thomas Ferr{\`e}re and Dejan Nickovic",

year = "2018",

language = "English",

isbn = "978-1-5386-5564-1",

pages = "1--10",

booktitle = "Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018",

note = "EMSOFT 2018 ; Conference date: 30-09-2018 Through 05-10-2018",

}

The first-order logic of signals: keynote. / Henzinger, Thomas (Vortragende:r, eingeladen); Bakhirkin, Alexey (Autor:in, eingeladen); Ferrère, Thomas (Autor:in, eingeladen) et al.
Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018. 2018. S. 1-10.

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

TY - GEN

T1 - The first-order logic of signals: keynote

A2 - Henzinger, Thomas

A2 - Bakhirkin, Alexey

A2 - Ferrère, Thomas

A2 - Nickovic, Dejan

PY - 2018

Y1 - 2018

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-5386-5564-1

SP - 1

EP - 10

BT - Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018

T2 - EMSOFT 2018

Y2 - 30 September 2018 through 5 October 2018

ER -