Language Preservation Problems in Parametric Timed Automata

Uložené v:

Podrobná bibliografia
Vydané v:	Logical Methods in Computer Science
Hlavní autori:	André, Étienne, Lime, Didier, Markey, Nicolas
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	episciences.org 01.01.2018
Predmet:	[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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

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