Found 131 results
UML-Based model-driven development for HSDPA design. IEEE Software. 26:26–33.. 2009.
Using SPIN for automated debugging of infinite executions of Java programs (in press). Journal of Systems and Software. :15.. 2013.
Verification of complex dynamic data tree with mu-calculus. Automated Software Engineering. :onlinefirst.. 2012.
Verification support for arinc-653-based avionics software (to appear). Software Testing Verification & Reliability.. 2010.