Conference
A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata.
Authors
Yanase R; Sakai T; Sakai M; Yamane S
Editors
Ogata K; Lawford M; Liu S
Series
Lecture Notes in Computer Science
Volume
10009
Pagination
pp. 74-89
Publication Date
2016
ISBN-13
978-3-319-47845-6
Conference proceedings
ICFEM