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

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

6 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 = "null ; Conference date: 01-01-2015",

}

Cyber Physical Systems. Design, Modeling, and Evaluation. Lecture notes for computer science, 2015. s. 132–146.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review