Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Scalable Hardware Verification with Symbolic Simulation
  • PDF
  • English
  • Year: 2006
  • Author: Valeria Bertacco (auth.)
Scalable Hardware Verification with Symbolic Simulation
  • PDF
  • English
  • Year: 2005
  • Author: Valeria Bertacco
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2011
  • Author: Ilya Wagner, Valeria Bertacco (auth.)
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2011
  • Author: Ilya Wagner, Valeria Bertacco (auth.)
Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Michael Codish (auth.), Tom Schrijvers, Peter Thiemann (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
  • PDF
  • English
  • Year: 2017
  • Author: Axel Legay, Tiziana Margaria (eds.)
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Michael Codish, Eijiro Sumii (eds.)
search