Bernardo, Marco.

概要

作品:	1 作品在 4 項出版品 1 種語言

書目資訊

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: Zavattaro, Gianluigi.; SpringerLink (Online service); Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Degano, Pierpaolo, (1950-) (書目-語言資料,印刷品)

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: SpringerLink (Online service); Bogliolo, Alessandro.; Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)

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: Bernardo, Marco.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Cortellessa, Vittorio.; Pierantonio, Alfonso. (書目-語言資料,印刷品)

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 / by: SpringerLink (Online service); Bernardo, Marco.; Johnsen, Einar Broch. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

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 / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.; SpringerLink (Online service); Corradini, Flavio. (書目-語言資料,印刷品)

Formal methods for the quantitative evaluation of collective adaptive systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / by: Hillston, Jane.; SpringerLink (Online service); De Nicola, Rocco.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco. (書目-語言資料,印刷品)

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 2003 : advanced lectures / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.; Inverardi, Paola.; SpringerLink (Online service) (書目-語言資料,印刷品)

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / by: Hillston, Jane.; SpringerLink (Online service); De Nicola, Rocco.; Bernardo, Marco. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Formal methods for dynamical systems = 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco. (書目-語言資料,印刷品)

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: Issarny, Valerie.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bernardo, Marco.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題