School of Formal Methods (SFM)
(brand of FM)13 × Italy
22 ×#modelling
14 ×#analysis
13 ×#performance
12 ×#architecture
8 ×#biology
8 ×#probability
7 ×#verification
5 ×#automaton
5 ×#testing
4 ×#automation
Vocabulary: 276 words
117 papers in 13 issues:
- 2015
Advanced Lectures of the 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Multicore Programming (SFM 2015)- 2014
- Advanced Lectures of the 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Executable Software Models (SFM 2014)
- 2013
- Advanced Lectures of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Dynamical Systems (SFM 2013)
- 2012
- Advanced Lectures of the 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Model-Driven Engineering (SFM 2012)
- 2011
- Advanced Lectures of the 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Eternal Networked Software Systems (SFM 2011)
- 2010
- Advanced Lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010)
- 2009
- Advanced Lectures of the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Web Services (SFM 2009)
- 2008
- Advanced Lectures of the Eighth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Computational Systems Biology (SFM 2008)
- 2007
- Advanced Lectures of the Seventh International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Performance Evaluation (SFM 2007)
- 2006
- Advanced Lectures of the Sixth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Hardware Verification (SFM 2006)
- 2005
- Advanced Lectures of the Fifth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Mobile Computing (SFM-Moby 2005)
- 2004
- Advanced Lectures of the Fourth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for the Design of Real-Time Systems (SFM-RT 2004)
- 2003
- Advanced Lectures of the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Software Architectures (SFM 2003)
22 ×#modelling
14 ×#analysis
13 ×#performance
12 ×#architecture
8 ×#biology
8 ×#probability
7 ×#verification
5 ×#automaton
5 ×#testing
4 ×#automation
Vocabulary: 276 words
Advanced Lectures of the 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Multicore Programming (SFM 2015)Advanced Lectures of the 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Executable Software Models (SFM 2014)Advanced Lectures of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Dynamical Systems (SFM 2013)Advanced Lectures of the 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Model-Driven Engineering (SFM 2012)Advanced Lectures of the 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Eternal Networked Software Systems (SFM 2011)Advanced Lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010)Advanced Lectures of the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Web Services (SFM 2009)Advanced Lectures of the Eighth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Computational Systems Biology (SFM 2008)Advanced Lectures of the Seventh International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Performance Evaluation (SFM 2007)Advanced Lectures of the Sixth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Hardware Verification (SFM 2006)Advanced Lectures of the Fifth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Mobile Computing (SFM-Moby 2005)Advanced Lectures of the Fourth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for the Design of Real-Time Systems (SFM-RT 2004)Advanced Lectures of the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Software Architectures (SFM 2003)