zbMATH — the first resource for mathematics

Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4–6, 2015. Proceedings. (English) Zbl 1347.68010
Lecture Notes in Computer Science 9409. Cham: Springer (ISBN 978-3-319-25941-3/pbk; 978-3-319-25942-0/ebook). xix, 317 p. (2015).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually.
Indexed articles:
Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle, Fault trees on a diet – automated reduction by graph rewriting, 3-18 [Zbl 1369.68172]
Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd, Cost vs. time in stochastic games and Markov automata, 19-34 [Zbl 1369.68253]
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun, Extending hybrid CSP with probability and stochasticity, 87-102 [Zbl 1369.68264]
Luo, Chen; He, Fei; Ghezzi, Carlo, Inferring software behavioral models with MapReduce, 135-149 [Zbl 1369.68164]
Moszkowski, Ben; Guelev, Dimitar P., An application of temporal projection to interleaving concurrency, 153-167 [Zbl 1369.68263]
Wasser, Nathan, Generating specifications for recursive methods by abstracting program states, 243-257 [Zbl 1369.68161]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI