Language Preservation Problems in Parametric Timed Automata

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Logical Methods in Computer Science
Hauptverfasser:	André, Étienne, Lime, Didier, Markey, Nicolas
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	episciences.org 01.01.2018
Schlagworte:	[INFO.INFO-ES]Computer Science [cs]/Embedded Systems [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] BC1-199 Computer Science - Logic in Computer Science Electronic computers. Computer science FOS: Computer and information sciences L/U-PTA language preservation Logic Logic in Computer Science (cs.LO) QA75.5-76.95 timed systems timing parameters trace preservation
ISSN:	1860-5974, 1860-5974
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	1860-5974 1860-5974
DOI:	10.23638/lmcs-16