Model Checking Applied to Embedded Software of University Satellite
Alencar, Waldo A. F., Villani, EmiliaVolume:
25
Language:
english
Journal:
Journal of Control, Automation and Electrical Systems
DOI:
10.1007/s40313-013-0085-3
Date:
February, 2014
File:
PDF, 506 KB
english, 2014