Language Preservation Problems in Parametric Timed Automata

Uloženo v:

Podrobná bibliografie
Vydáno v:	Logical Methods in Computer Science
Hlavní autoři:	André, Étienne, Lime, Didier, Markey, Nicolas
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	episciences.org 01.01.2018
Témata:	[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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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