The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Moab Arar, Michael L. Behm, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev, Einat Kermany, John R. Reysa, Bilal Saleh, Klaus-Dieter Schubert, Gil Shurek, Avi Ziv. The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. In Nir Piterman, editor, Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Volume 9434 of Lecture Notes in Computer Science, pages 51-66, Springer, 2015. [doi]

This author has not been identified. Look up 'Moab Arar' in GoogleThis author has not been identified. Look up 'Michael L. Behm' in GoogleThis author has not been identified. Look up 'Odellia Boni' in GoogleThis author has not been identified. Look up 'Raviv Gal' in GoogleThis author has not been identified. Look up 'Alex Goldin' in GoogleThis author has not been identified. Look up 'Maxim Ilyaev' in GoogleThis author has not been identified. Look up 'Einat Kermany' in GoogleThis author has not been identified. Look up 'John R. Reysa' in GoogleThis author has not been identified. Look up 'Bilal Saleh' in GoogleThis author has not been identified. Look up 'Klaus-Dieter Schubert' in GoogleThis author has not been identified. Look up 'Gil Shurek' in GoogleThis author has not been identified. Look up 'Avi Ziv' in Google

runs on WebDSL