Home Advanced Search

Advanced Search - Page 1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Radu Calinescu, Bernhard Rumpe (eds.)
Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)
Context-Aware Systems and Applications: Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Phan Cong Vinh, Vangalur Alagar, Emil Vassev, Ashish Khare (eds.)
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Radu Calinescu, Felicita Di Giandomenico
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Radu Calinescu (editor), Corina S. Păsăreanu (editor)
Industrial-strength formal methods in practice
  • DJVU
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Local Induction
  • PDF
  • English
  • Year: 1975
  • Author: Isaac Levi (auth.), Radu J. Bogdan (eds.)
search