Verification for Monitoring Requirements of Train Monitoring Systems in Event-B

Thumbnail
Metadata only
Author
Sato, Naoto
Hoang, Thai Son
Basin, David
Kuruma, Hironobu
Show all
Date
2013
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
IPSJ journal
Volume
54(6)
Pages / Article No.
1738 - 1750
Publisher
Information Processing Society of Japan (IPSJ)
Subject
Progress properties; Refinement; Fairness; Scheduling; Unit-B.
Organisational unit
03634 - Basin, David  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics