| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude | | 978-1-4471-6686-3 | 2018 |
| Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers | | 978-3-642-35742-8 | 2012 | Farhad Arbab |
| Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers | | 978-3-319-28933-5 | 2016 | Christiano Braga |
| Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings | | 978-3-030-02145-0 | 2018 | Kyungmin Bae |
| Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers ... Computer and Information Science, Band 596) | | 978-3-319-29509-1 | 2016 | Cyrille Artho |
| Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008) | | 978-3-030-12987-3 | 2019 | " |
| Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... Computer and Information Science, Band 419) | | 978-3-319-05415-5 | 2014 | " |
| Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers ... Computer and Information Science, Band 476) | | 978-3-319-17580-5 | 2015 | " |
| Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday | | 978-3-319-23164-8 | 2015 | Narciso Martí-Oliet · Carolyn Talcott |
| Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, ... Notes in Computer Science, Band 6381) | | 978-3-642-16309-8 | 2010 |
| Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings | | 978-3-030-30445-4 | 2019 | Gwen Salaün |