1.

Technical Paper
Technical Paper
1. Integrating Functional and Non-Functional Design Verification for Embedded Software Systems.
Ackermann, C. ; Ray, A. ; Cleaveland, R. ; Shelton, C. ; Martin, C.
Pub. info.: 2009 SAE world congress : technical paper.  2009.  Warrendale, Penn..  Society of Automotive Engineers
Title of ser.: Society of Automotive Engineers technical paper series
Ser. no.: 2009
2.

Technical Paper
Technical Paper
2. Model Based Design Verification: A Monitor Based Approach.
Ackermann, C. ; Ray, A. ; Cleaveland, R. ; Heit, J. ; Martin, C. ; Shelton, C.
Pub. info.: 2008 SAE world congress : technical paper.  2008.  Warrendale, Penn..  Society of Automotive Engineers
Title of ser.: Society of Automotive Engineers technical paper series
Ser. no.: 2008