Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings: 8711 (Lecture Notes in Computer Science)
by Axel Legay,Marius Bozga
ISBN 13: 9783319105116
Format: Paperback (264 pages) Publisher: Springer Published: 19 Aug 2014
Save for later
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science)
by Valeria Bertacco, Axel Legay
ISBN 13: 9783319030760
Format: Paperback (388 pages) Publisher: Springer Published: 31 Oct 2013
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science)
by Axel Legay,Saddek Bensalem
ISBN 13: 9783642407864
Format: Paperback (444 pages) Publisher: Springer Published: 05 Sep 2013
From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... 8415 (Lecture Notes in Computer Science)
by Saddek Bensalem,Yassine Lakhnech,Axel Legay
ISBN 13: 9783642548475
Format: Paperback (292 pages) Publisher: Springer Published: 11 Mar 2014
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science)
by Cyrille Artho,Axel Legay,Doron Peled
ISBN 13: 9783319465197
Format: Paperback (544 pages) Publisher: Springer Published: 22 Sep 2016
Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers: 10158 (Lecture Notes in Computer Science)
by Frédéric Cuppens,Nora Cuppens,Jean-Louis Lanet,Axel Legay
ISBN 13: 9783319548753
Format: Paperback (248 pages) Publisher: Springer Published: 02 Mar 2017
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... 10206 (Lecture Notes in Computer Science)
by Axel Legay,Tiziana Margaria
ISBN 13: 9783662545799
Format: Paperback (436 pages) Publisher: Springer Published: 31 Mar 2017
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint ... 10205 (Lecture Notes in Computer Science)
by Axel Legay, Tiziana Margaria
ISBN 13: 9783662545768
Format: Paperback (636 pages) Publisher: Springer Published: 31 Mar 2017
Risks and Security of Internet and Systems: 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro
ISBN 13: 9783319766867
Format: Paperback (280 pages) Publisher: Springer Published: 24 Feb 2018
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday: 10460 (Lecture Notes in Computer Science)
by Luca Aceto,Giorgio Bacci,Giovanni Bacci,Anna Ingólfsdóttir,Axel Legay,Radu Mardare
ISBN 13: 9783319631202
Format: Paperback (680 pages) Publisher: Springer Published: 25 Jul 2017