Monitoring of MTL specifications with IBM's spiking-neuron model

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

Originalsprache	Englisch
Titel	2016 Design, Automation and Test in Europe Conference and Exhibition
Seiten	924-929
Seitenumfang	6
Publikationsstatus	Veröffentlicht - 2016
Veranstaltung	DATE 2016 - Dauer: 14 März 2016 → 18 März 2016

Konferenz	DATE 2016
Zeitraum	14/03/16 → 18/03/16

Research Field

@inproceedings{cc79fa1b05d5455d9cd7e11df2268a26,

title = "Monitoring of MTL specifications with IBM's spiking-neuron model",

author = "Dejan Nickovic and Konstantin Selyunin and Thang Nguyen and Ezio Bartocci and Radu Grosu",

year = "2016",

language = "English",

isbn = "978-3-9815-3707-9",

pages = "924--929",

booktitle = "2016 Design, Automation and Test in Europe Conference and Exhibition",

note = "DATE 2016 ; Conference date: 14-03-2016 Through 18-03-2016",

}

TY - GEN

T1 - Monitoring of MTL specifications with IBM's spiking-neuron model

AU - Selyunin, Konstantin

AU - Nguyen, Thang

AU - Bartocci, Ezio

AU - Grosu, Radu

A2 - Nickovic, Dejan

PY - 2016

Y1 - 2016

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-9815-3707-9

SP - 924

EP - 929

BT - 2016 Design, Automation and Test in Europe Conference and Exhibition

T2 - DATE 2016

Y2 - 14 March 2016 through 18 March 2016

ER -