Hoang, Thai Son
Ostroff, Jonathan S.
- Journal Article
Journal / seriesSoftware and systems modeling
Pages / Article No.
SubjectProgress properties; Refinement; Fairness; Scheduling; Unit-B; Proof-based formal methods; Verification of cyber-physical systems
NotesReceived 15 November 2013, Revised 24 July 2014, Accepted 1 February 2015, Published online 15 May 2015.
MoreShow all metadata