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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

8 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Cyber Physical Systems. Design, Modeling, and Evaluation
Kustantaja	Lecture notes for computer science
Sivut	132–146
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - XV European Congress of Ichthyology Kesto: 1 tammik. 2015 → …

Konferenssi	conference
Ajanjakso	01/01/15 → …

Viittausmuodot

@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.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 -