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: Lukasz Brewka,  José Soler and  Michael Berger  
Open Access
|Apr 2014

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
Publication frequency: 2 issues per year
Keywords:
software quality,
formal verification,
embedded systems,
translation tool selection
Related subjects:
Business and economics,
Business management,
Management, organization, corporate governance,
Business management, other,
Mathematics and statistics for economists,
Mathematics

© 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.

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