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

Metadata only

Author

Date

2013

Type

Journal Article

ETH Bibliography

yes

Altmetrics

Publication status

published

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 / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection