Verification for Monitoring Requirements of Train Monitoring Systems in Event-B
Metadata only
Date
2013Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedJournal / series
IPSJ journalVolume
Pages / Article No.
Publisher
Information Processing Society of Japan (IPSJ)Subject
Progress properties; Refinement; Fairness; Scheduling; Unit-B.Organisational unit
03634 - Basin, David / Basin, David
More
Show all metadata
ETH Bibliography
yes
Altmetrics