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

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

8 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Cyber Physical Systems. Design, Modeling, and Evaluation
Förlag	Lecture notes for computer science
Sidor	132–146
Status	Publicerad - 2015
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference - XV European Congress of Ichthyology Varaktighet: 1 jan. 2015 → …

Konferens	conference
Period	01/01/15 → …

Citera det här

@inproceedings{d40013c22ec04de69750175ac4af2c01,

title = "Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations",

author = "Sanwal, \{Muhammad Usman\} and Osman Hasan",

year = "2015",

language = "Odefinierat/ok{\"a}nt",

pages = "132–146",

booktitle = "Cyber Physical Systems. Design, Modeling, and Evaluation",

publisher = "Lecture notes for computer science",

note = "conference ; Conference date: 01-01-2015",

}

Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations. / Sanwal, Muhammad Usman; Hasan, Osman.
Cyber Physical Systems. Design, Modeling, and Evaluation. Lecture notes for computer science, 2015. s. 132–146.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

TY - GEN

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

AU - Sanwal, Muhammad Usman

AU - Hasan, Osman

PY - 2015

Y1 - 2015

M3 - Publicerad konferensartikel

SP - 132

EP - 146

BT - Cyber Physical Systems. Design, Modeling, and Evaluation

PB - Lecture notes for computer science

T2 - conference

Y2 - 1 January 2015

ER -