Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2007
  • Author: William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.)
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
  • PDF
  • English
  • Year: 2016
  • Author: Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.)
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
  • DJVU
  • English
  • Year: 1996
  • Author: Jane Hillston
Transactions on Computational Systems Biology XI
  • PDF
  • English
  • Year: 2009
  • Author: Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)
Transactions on Computational Systems Biology XI
  • PDF
  • English
  • Year: 2009
  • Author: Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)
7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22–23 July 1991
  • PDF
  • English
  • Year: 1992
  • Author: Rob Pooley, Jane Hillston (auth.), Jane Elizabeth Hillston BA, MSc, Peter John Beaufoy King BSc, MSc, PhD, C.Eng, MBCS, Robert John Pooley BSc, MSc (eds.)
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
  • PDF
  • English
  • Year: 2005
  • Author: Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)
search