SAE Publications
by Walter Rance Cleaveland

BOOKS
    None

PAPERS

Paper Number / Title For more information, click on the Paper Number Book Number 2009-01-0152 Integrating Functional and Non-Functional Design Verification for Embedded Software Systems   2008-01-0741 Model Based Design Verification: A Monitor Based Approach   2006-21-0046 Model-Based Verification and Validation of Distributed Controller Architectures