×

zbMATH — the first resource for mathematics

Found 32 Documents (Results 1–32)

100
MathJax
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 106, Article 13, 23 p. (2018).
MSC:  68M20
PDF BibTeX Cite
Full Text: DOI
Communications in Computer and Information Science 596. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). x, 271 p. (2016).
MSC:  68-06 68M15 68N99 68Q60 68U20 00B25
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 55-63 (2012).
MSC:  93B03 93B40
PDF BibTeX Cite
Full Text: DOI
Hawblitzel, Chris (ed.) et al., Certified programs and proofs. Second international conference, CPP 2012, Kyoto, Japan, December 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-35307-9/pbk). Lecture Notes in Computer Science 7679, 256-272 (2012).
MSC:  68N30
PDF BibTeX Cite
Full Text: DOI
Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 19-33 (2007).
MSC:  93A30 93C83 93A13
PDF BibTeX Cite
Full Text: DOI
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, 535-549 (2000).
MSC:  68U99 68Q60
PDF BibTeX Cite
Stavridou, Victoria (ed.), Mathematics of dependable systems II - MDS 95. Based on the proceedings of the 2nd international IMA conference by the Institute of Mathematics and its applications, and held at the University of York, GB, September 1995. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 64, 243-258 (1997).
MSC:  68M15
PDF BibTeX Cite
Berlin: Springer-Verlag. ix, 258 p. DM 108.00; öS 842.40; sFr 108.00 /sc (1994).
PDF BibTeX Cite
Berlin: Springer-Verlag. ix, 286 p. DM 84.00; öS 655.20; sFr 84.00 /sc (1993).
PDF BibTeX Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software