Verification of Automotive Control Applications using S-TaLiRo Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

June 27, 2012

Date in CU Experts

January 29, 2016 1:53 AM

Full Author List

Fainekos GE; Sankaranarayanan S; Ueda K; Yazarel H

author count

4

citation count

31

published in

Proceedings of the ... American Control Conference. American Control Conference Journal

presented at event

American Control Conference (ACC) Conference

Other Profiles

International Standard Serial Number (ISSN)

0743-1619

Electronic International Standard Serial Number (EISSN)

2378-5861

International Standard Book Number (ISBN) 13

978-1-4577-1095-7

Additional Document Info

start page

3567

end page

3572