A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 3, p. 333, doi. 10.1007/s10009-019-00543-1
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2020 AND VI 22 AND IP 3
Results: 8
1
2
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
3
Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 3, p. 315, doi. 10.1007/s10009-020-00551-6
- By:
- Publication type:
- Article
4
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 3, p. 297, doi. 10.1007/s10009-019-00548-w
- By:
- Publication type:
- Article
5
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 3, p. 349, doi. 10.1007/s10009-019-00542-2
- By:
- Publication type:
- Article
6
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 3, p. 281, doi. 10.1007/s10009-019-00540-4
- By:
- Publication type:
- Article
7
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 3, p. 265, doi. 10.1007/s10009-019-00539-x
- By:
- Publication type:
- Article
8
The ABZ-2018 case study with Event-B.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 3, p. 257, doi. 10.1007/s10009-019-00525-3
- By:
- Publication type:
- Article