Subscribers can view annotate, and download all of SAE's content. Learn More »
From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach
2013-01-0432
Hierarchical Accumulative Validation of Executable Control Specifications
2013-01-0430