Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2012
  • Author: Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)
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
  • PDF
  • English
  • Year: 2012
  • Author: Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)
UML for Real: Design of Embedded Real-Time Systems
  • PDF
  • English
  • Year: 2004
  • Author: Bran Selic (auth.), Luciano Lavagno, Grant Martin, Bran Selic (eds.)
Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Bran Selic (auth.), Heinrich Hussmann (eds.)
Model-Based Software Performance Analysis
  • PDF
  • English
  • Year: 2011
  • Author: Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi (auth.)
Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Stephen J. Mellor (auth.), Andy Schürr, Bran Selic (eds.)
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE. Developing Cyber-Physical Systems
  • PDF
  • English
  • Year: 2014
  • Author: Bran Selic and Sébastien Gérard (Auth.)
Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Krzysztof Czarnecki (auth.), Vittorio Cortellessa, Dániel Varró (eds.)
search