Current Challenges in the Verification of Hybrid Systems Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

October 8, 2015

has restriction

closed

Date in CU Experts

January 29, 2016 1:53 AM

Full Author List

Schupp S; Abraham E; Chen X; Ben Makhlouf I; Frehse G; Sankaranarayanan S; Kowalewski S

Full Editor List

Berger C; Mousavi MR

author count

7

citation count

22

published in

Lecture Notes in Artificial Intelligence Journal

presented at event

5th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy) Conference

Other Profiles

International Standard Serial Number (ISSN)

0302-9743

Electronic International Standard Serial Number (EISSN)

1611-3349

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-319-25141-7_2

International Standard Book Number (ISBN) 13

978-3-319-25140-0

Additional Document Info

start page

8

end page

24

volume

9361