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

ID:DA14172977

別名: SFM

Software Architectures, SFM

同姓同名の著者を検索

検索結果6件中 1-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

所蔵館2館
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

所蔵館4館
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

所蔵館8館
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

所蔵館13館
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

所蔵館18館
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

所蔵館22館

この著者を外部サイトでさがす

関連著者

ページトップへ