Language: English
Help
回圖書館
Login
Languages
Jump To : Overview | Titles | Subjects

Bernardo, Marco.

Overview
Works: 0 works in 6 publications in 1 languages
Titles
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 / by: Pierantonio, Alfonso.; Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco.; Cortellessa, Vittorio.; SpringerLink (Online service) (Electronic resources)
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 / by: Zavattaro, Gianluigi.; Bernardo, Marco.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Padovani, Luca. (Electronic resources)
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 / by: Bernardo, Marco.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Bogliolo, Alessandro. (Electronic resources)
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 / by: Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco.; Zavattaro, Gianluigi.; Degano, Pierpaolo, (1950-); SpringerLink (Online service) (Electronic resources)
A process algebraic approach to software architecture design by: Bernardo, Marco.; Corradini, Flavio.; Aldini, Alessandro.; SpringerLink (Online service) (Electronic resources)
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 / by: SpringerLink (Online service); Issarny, Valerie.; Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco. (Electronic resources)
 
 
Change password
Login