Model checking evaluation of airplane landing trajectories.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 753, doi. 10.1007/s10009-013-0273-2
- By:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2014 AND VI 16 AND IP 6
Results: 7
1
2
Automated generation of formal safety conditions from railway interlocking tables.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 713, doi. 10.1007/s10009-013-0295-9
- By:
- Publication type:
- Article
3
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 647, doi. 10.1007/s10009-013-0298-6
- By:
- Publication type:
- Article
4
Techniques for modelling and verifying railway interlockings.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 685, doi. 10.1007/s10009-014-0304-7
- By:
- Publication type:
- Article
5
Formal methods for railway control systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 643, doi. 10.1007/s10009-014-0342-1
- By:
- Publication type:
- Article
6
Survey on test data generation tools.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 727, doi. 10.1007/s10009-013-0272-3
- By:
- Publication type:
- Article
7
Towards Model-Driven V&V assessment of railway control systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 669, doi. 10.1007/s10009-014-0320-7
- By:
- Publication type:
- Article