×

Found 3 Documents (Results 1–3)

Enforcement of (timed) properties with uncontrollable events. (English) Zbl 1407.68300

Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium, Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9399, 542-560 (2015).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software