Towards improving software security using language engineering and mbeddr C. | 1 | 0.35 | 2015 |
Textual model-based software/system architecture documentation using MPS. | 0 | 0.34 | 2015 |
Automated domain-specific C verification with mbeddr | 8 | 0.47 | 2014 |
A Design Space Exploration Framework For Automotive Embedded Systems And Their Power Management. | 1 | 0.37 | 2013 |