×

Found 6 Documents (Results 1–6)

Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. (English) Zbl 1517.68007

Lecture Notes in Computer Science 14000. Cham: Springer (ISBN 978-3-031-27480-0/pbk; 978-3-031-27481-7/ebook). xvi, 659 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Abstraction for stochastic systems by Erlang’s method of stages. (English) Zbl 1160.68469

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 279-294 (2008).
MSC:  68Q85 68Q60 92C40
PDFBibTeX XMLCite
Full Text: DOI Link

Three-valued abstraction for continuous-time Markov chains. (English) Zbl 1135.68476

Damm, Werner (ed.) et al., Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73367-6/pbk). Lecture Notes in Computer Science 4590, 311-324 (2007).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Replaying play in and play out: Synthesis of design models from scenarios by learning. (English) Zbl 1186.68106

Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 435-450 (2007).
MSC:  68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software