A Practical Formal Approach for Requirements Validation and Verification of Dependable Systems
Publication | Article published April 2011 |
---|---|
Authors | Miriam C. Bergue Alves, Doron Drusinsky, Man-Tak Shing |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…