×

Found 25 Documents (Results 1–25)

Nested reachability approximation for discrete-time Markov chains with univariate parameters. (English) Zbl 1448.68320

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 364-379 (2014).
MSC:  68Q60 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Perturbation analysis in verification of discrete-time Markov chains. (English) Zbl 1417.68100

Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 218-233 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

Fundamental approaches to software engineering. 13th international conference, FASE 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. (English) Zbl 1183.68019

Lecture Notes in Computer Science 6013. Berlin: Springer (ISBN 978-3-642-12028-2/pbk). xiii, 383 p. (2010).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Nonlinear analysis of the cardiorespiratory coordination in a newborn piglet. (English) Zbl 1045.92504

Kantz, Holger (ed.) et al., Nonlinear analysis of physiological data. Proceedings of the workshop, Freital near Dresden, Germany, October 1995. Berlin: Springer (ISBN 3-540-63481-9). 167-190 (1998).
MSC:  92C30 92C50
PDFBibTeX XMLCite

Scientific visualization. Advances and challenges. (English) Zbl 0835.68003

London: Academic Press. New York, NY: IEEE Computer Science Press, xxiv, 532 p. (1994).
MSC:  68-06 00B15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software