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

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationCyber Physical Systems. Design, Modeling, and Evaluation
PublisherLecture notes for computer science
Pages132–146
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication
Eventconference - XV European Congress of Ichthyology
Duration: 1 Jan 2015 → …

Conference

Conferenceconference
Period01/01/15 → …

Cite this