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-04-04 at 06:55