Skip to main content
Have a personal or library account? Click to login
The MODUS Approach to Formal Verification Cover

The MODUS Approach to Formal Verification

Business Systems Research Journal
Volume 5 (2014): Issue 1 (March 2014)
By: ,   and    
Open Access
|Apr 2014
Authors

Authors

Lukasz Brewka

brewka111@gmail.com

José Soler

joss@fotonik.dtu.dk

Michael Berger

msbe@fotonik.dtu.dk

DOI: https://doi.org/10.2478/bsrj-2014-0002 | Journal eISSN: 1847-9375 | Journal ISSN: 1847-8344
Journal RSS Feed
Language: English
Page range: 21 - 33
Published on: Apr 23, 2014
Published by: IRENET - Society for Advancing Innovation and Research in Economy
In partnership with: Paradigm Publishing Services
Keywords:
software quality,
formal verification,
embedded systems,
translation tool selection
Related subjects:
Business and economics,
Business management,
Business management, other

© 2014 Lukasz Brewka, José Soler, Michael Berger, published by IRENET - Society for Advancing Innovation and Research in Economy
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Volume 5 (2014): Issue 1 (March 2014)
Previous article
Next article