Menu

Axel Legay

4 published titles

Runtime verification : 4th international conference, RV 2013 Rennes, France, September 24-27, 2013, proceedings

(Contributor)

1 edition

  • ISBN: 9783642407864
  • Springer
  • 2013
  • Details

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings

(Contributor)

1 edition

  • ISBN: 9783319030760
  • Springer
  • 2013
  • Details

From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings

(Contributor)

1 edition

  • ISBN: 9783642548475
  • Springer
  • 2014
  • Details

Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, proceedings

(Contributor)

1 edition

  • ISBN: 9783319105116
  • Springer
  • 2014
  • Details

obnb.uk is a Good Stuff website.