A faster‐than relation for semi‐markov decision processes

When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is necessary to have some notion of what it means for a process to be faster than another, which can guide the stepwise refine...

Celý popis

Podrobná bibliografia

Vydané v:	Electronic proceedings in theoretical computer science Ročník 312; číslo Proc. QAPL 2019; s. 29 - 42
Hlavní autori:	Ruggaard Pedersen, Mathias, Bacci, Giorgio, Guldstrand Larsen, Kim
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Open Publishing Association 20.01.2020
ISSN:	2075-2180, 2075-2180
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!