Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)
Original languageUnknown
Title of host publicationLecture Notes in Computer Science
EditorsS Qin, Z Qiu
PublisherSpringer
Pages131-146
Volume6991
ISBN (Print)978-3-642-24558-9
DOIs
Publication statusPublished - 1 Jan 2011
EventInternational Conference on Formal Engineering Methods (ICFEM) -
Duration: 1 Jan 2011 → …

Conference

ConferenceInternational Conference on Formal Engineering Methods (ICFEM)
Period1/01/11 → …

Cite this