School on Formal Methods for the Design of Computer, Communication and Software Systems
SFM 2013: Bertinoro, Italy
Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky (Eds.): Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Springer 2013 Lecture Notes in Computer Science 7938 ISBN 978-3-642-38873-6 [ contents ]
SFM 2012: Bertinoro, Italy
- Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (Eds.): Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Springer 2012 Lecture Notes in Computer Science 7320 ISBN 978-3-642-30981-6 [ contents ]
SFM 2011: Bertinoro, Italy
- Marco Bernardo, Valérie Issarny (Eds.): Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Springer 2011 Lecture Notes in Computer Science 6659 ISBN 978-3-642-21454-7 [ contents ]
SFM 2010: Bertinoro, Italy
- Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (Eds.): Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures. Springer 2010 Lecture Notes in Computer Science 6154 ISBN 978-3-642-13677-1 [ contents ]
SFM 2009: Bertinoro, Italy
- Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (Eds.): Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Springer 2009 Lecture Notes in Computer Science 5569 ISBN 978-3-642-01917-3 [ contents ]
SFM 2008: Bertinoro, Italy
- Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (Eds.): Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures. Springer 2008 Lecture Notes in Computer Science 5016 ISBN 978-3-540-68892-1 [ contents ]
SFM 2007: Bertinoro, Italy
- Marco Bernardo, Jane Hillston (Eds.): Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures. Springer 2007 Lecture Notes in Computer Science 4486 ISBN 978-3-540-72482-7 [ contents ]
SFM 2006: Bertinoro, Italy
- Marco Bernardo, Alessandro Cimatti (Eds.): Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures. Springer 2006 Lecture Notes in Computer Science 3965 ISBN 978-3-540-34304-2 [ contents ]
SFM 2005: Bertinoro, Italy
- Marco Bernardo, Alessandro Bogliolo (Eds.): Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Springer 2005 Lecture Notes in Computer Science 3465 ISBN 3-540-25697-0 [ contents ]
SFM 2004: Bertinoro, Italy
- Marco Bernardo, Flavio Corradini (Eds.): Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Springer 2004 Lecture Notes in Computer Science 3185 ISBN 3-540-23068-8 [ contents ]
SFM 2003: Bertinoro, Italy
- Marco Bernardo, Paola Inverardi (Eds.): Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures. Springer 2003 Lecture Notes in Computer Science 2804 ISBN 3-540-20083-5 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team