Вы здесь

Главная

Bernardo M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Performance Evaluation at the Software Architecture Level 2003 Balsamo S., Bernardo M., Simeoni M. Lecture Notes in Computer Science 15.11.2003
СТ Architectural Types Revisited: Extensible And/Or Connections 2002 Bernardo M., Franze F. Lecture Notes in Computer Science 15.05.2002
СТ Implementing Symbolic Models for Value Passing in TwoTowers 2000 Bernardo M. Lecture Notes in Computer Science 18.04.2000
СТ A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol 1996 Bernardo M., Donatiello L., Gorrieri R. ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 06.12.1996

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods for the Quantitative Evaluation of Collective Adaptive Sysytems: Advanced Lectures/16th International School, SFM 2016, Bertinoro, Italy, June 2016 2016 Lecture Notes in Computer Science
  1. Bernardo M.
  2. De Nicola R.
  3. Hillston J.
 02.08.2016
СБ Formal Methods for Multicore Programming: Advanced Lectures/15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 2015 2015 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Johnsen E. B.
 22.07.2015
СБ Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014 2014 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Damiani F.
  3. Hahnle R.
  4. Johnsen E. B.
 29.08.2014
СБ Formal Methods for Dynamical Systems: Advanced Lectures/13th International School on Formak Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 2013 2013 Lecture Notes in Computer Science
  1. Bernardo M.
  2. De Vink E.
  3. Di Pierro A.
  4. Wiklicky H.
 26.08.2013
СБ Formal Methods for Model-Driven Engineering: Advanced Lectures/12th International School, SFM 2012, Bertinoro, Italy, June 2012 2012 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Cortellessa V.
  3. Pierantonio A.
 13.08.2012
СБ Formal Methods for Eternal Networked Software System: Advanced Lectures/11th International School on Formal Methods for the Design of Computer..., SFM 2011, Bertinoro, Italy, June 2011 2011 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Issarny V.
 17.08.2011
СБ Computer Performance Engineering: Proc./7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 2010 2010 Lecture Notes in Computer Science
  1. Aldini A.
  2. Bernardo M.
  3. Bononi L.
  4. Cortellessa V.
 12.01.2011
СБ Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010 2010 Lecture Notes in Computer Science
  1. Aldini A.
  2. Bernardo M.
  3. Di Pierro A.
  4. Wiklicky H.
 13.08.2010
СБ Formal Methods for Web Services: Advanced Lectures/9th Intl School on Formal Methods for the Design of Computer, Comm. and Software Systems, SFM 2009. Bertinoro, Italy, June 2009 2009 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Padovani L.
  3. Zavattaro G.
 24.07.2009
СБ Formal Methods for Computationad Biology: Advanced Lectures/8th Intl School on FM for the Design of Computer, Communication & Software Systems, SFM 2008. Bertinoro, Italy , June 2008 2008 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Degano P.
  3. Zavattaro G.
 02.08.2008
СБ Formal Methods for Performance Evaluation: Advanced Lectures/7th International Summer School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007. Bertinoro, Italy, May/June 2007 2007 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Hillston J.
 26.07.2007
СБ Formal Methods for Hardware Verification: Advanced Lectures/6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. Bertinoro, Italy, May 2006 2006 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Cimatti A.
 31.08.2006
СБ Formal Methods for Mobile Computing: Advanced Lectures/5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005. Bertinoro, Italy, April 2005 2005 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Bogliolo A.
 04.06.2005
СБ Formal Methods for the Design of Real-Time Systems: Revised Lectures/International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Bertintoro, Italy, September 2004 2004 Lecture Notes in Computer Science
  1. Bernardo M.
  2. Corradini F.
 29.01.2005