Showing 1 - 5 results of 5 for search 'Calinescu, Radu', query time: 0.02s Refine Results
  1. 1
    Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
    Published 2015
    Other Authors: “…Calinescu, Radu…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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 /
    Published 2011
    Other Authors: “…Calinescu, Radu…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /
    Published 2012
    Other Authors: “…Calinescu, Radu…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /
    Published 2019
    Other Authors: “…Calinescu, Radu…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers /
    Published 2015
    Other Authors: “…Calinescu, Radu…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search