×

Found 16 Documents (Results 1–16)

Probabilistic model checking for energy-utility analysis. (English) Zbl 1407.68279

van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 96-123 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Model-based engineering of embedded systems using the hybrid process algebra Chi. (English) Zbl 1279.68245

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 21-53 (2008).
MSC:  68Q85 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Efficient diagnostic generation for Boolean equation systems. (English) Zbl 0960.68118

Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 251-265 (2000).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software