Search alternatives:
"formal method" » "formal methods"
Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
“... at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Cover Image
Read Now

5
by Bernardo, Marco
Published 2003
Springer Berlin Heidelberg
Cover Image
Read Now

6
Published 2013
Springer Berlin Heidelberg
“... of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013...”
Cover Image
Read Now

7
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing...”
Cover Image
Read Now

8
Published 2015
Springer International Publishing
“... of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015...”
Cover Image
Read Now

9
Published 2008
Springer Berlin Heidelberg
Cover Image
Read Now

10
Published 2014
Springer International Publishing
“... of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014...”
Cover Image
Read Now

11
Published 2012
Springer Berlin Heidelberg
“... of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012...”
Cover Image
Read Now

12
Published 2010
Springer Berlin Heidelberg
Cover Image
Read Now

13
Published 2011
Springer Berlin Heidelberg
“... of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011...”
Cover Image
Read Now

14
by Bernardo, Marco
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

15
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

16
Published 2016
Springer International Publishing
“... of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016...”