1.

テクニカルペーパー
テクニカルペーパー
1. Integrating Functional and Non-Functional Design Verification for Embedded Software Systems.
Ackermann, C. ; Ray, A. ; Cleaveland, R. ; Shelton, C. ; Martin, C.
出版情報: 2009 SAE world congress : technical paper.  2009.  Warrendale, Penn..  Society of Automotive Engineers
シリーズ名: Society of Automotive Engineers technical paper series
シリーズ巻号: 2009
2.

テクニカルペーパー
テクニカルペーパー
2. Model Based Design Verification: A Monitor Based Approach.
Ackermann, C. ; Ray, A. ; Cleaveland, R. ; Heit, J. ; Martin, C. ; Shelton, C.
出版情報: 2008 SAE world congress : technical paper.  2008.  Warrendale, Penn..  Society of Automotive Engineers
シリーズ名: Society of Automotive Engineers technical paper series
シリーズ巻号: 2008