Integration of CiNii Books functions for fiscal year 2025 has completed

International School on Formal Methods for the Design of Computer, Communication and Software Systems

ID:DA14172977

Alias Name

SFM

Software Architectures, SFM

Search authors sharing the same name

Search Results1-6 of 6

1

Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures

Marco Bernardo, Einar Broch Johnsen (eds.)

Springer c2015 Lecture notes in computer science 9104 . LNCS sublibrary ; SL 2 . Programming and software engineering

Available at 2 libraries
2

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

Marco Bernardo, Jane Hillston (eds.)

Springer c2007 Lecture notes in computer science 4486

Available at 4 libraries
3

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

Marco Bernardo, Alessandro Cimatti (eds.)

Springer c2006 Lecture notes in computer science 3965

Available at 8 libraries
4

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

Marco Bernardo, Alessandro Bogliolo (eds.)

Springer c2005 Lecture notes in computer science 3465

Available at 13 libraries
5

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

Marco Bernardo, Flavio Corradini (eds.)

Springer c2004 Lecture notes in computer science 3185

Available at 18 libraries
6

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

Marco Bernardo, Paola Inverardi (eds.)

Springer c2003 Lecture notes in computer science 2804

Available at 22 libraries

Search this author

Related Authors