Showing 41 - 48 results of 48 for search '"Computer Aided Verification"', query time: 0.41s Refine Results
  1. 41
    Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  2. 42
    Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  3. 43
    Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  4. 44
    Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  5. 45
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  6. 46
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  7. 47
    Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    Handbook of Model Checking
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search