VSL 2014: VIENNA SUMMER OF LOGIC 2014

Verifying Parameterized Software Models in Computational IData Science against Behavioral Specifications

Author: Sumit Kumar Jha

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Verifying Parameterized Software Models in Computational IData Science against Behavioral Specifications
Authors:Sumit Kumar Jha
Proceedings:NSV 2014 Proceedings
Editors: Olivier Bouissou and Khalil Ghorbal
Keywords:
Abstract:
Pages:1
Talk:Jul 17 16:30
Paper:
Disclaimer | Powered by EasyChair Smart Program