Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Muhammad Usman Sanwal, Osman Hasan
Place: Amsterdam, Netherland
Publication year: 2015
Publisher: Lecture notes for computer science
Book title: Cyber Physical Systems. Design, Modeling, and Evaluation
Start page: 132
End page: 146

Last updated on 2020-23-01 at 05:02