Metadata only
Date
2016-10Type
- Journal Article
Publication status
publishedExternal links
Journal / series
Software and Systems ModelingVolume
Pages / Article No.
Publisher
SpringerSubject
Progress properties; Refinement; Fairness; Scheduling; Unit-B; Proof-based formal methods; Verification of cyber-physical systemsNotes
Received 15 November 2013, Revised 24 July 2014, Accepted 1 February 2015, Published online 15 May 2015.More
Show all metadata