Works matching IS 14332779 AND DT 2018 AND VI 20 AND IP 3
Results: 6
Formal methods for transport systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 237, doi. 10.1007/s10009-018-0487-4
- By:
- Publication type:
- Article
Towards formal methods diversity in railways: an experience report with seven frameworks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 263, doi. 10.1007/s10009-018-0488-3
- By:
- Publication type:
- Article
Spatio-temporal model checking of vehicular movement in public transport systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 289, doi. 10.1007/s10009-018-0483-8
- By:
- Publication type:
- Article
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 243, doi. 10.1007/s10009-018-0482-9
- By:
- Publication type:
- Article
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 327, doi. 10.1007/s10009-017-0453-6
- By:
- Publication type:
- Article
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 3, p. 313, doi. 10.1007/s10009-017-0451-8
- By:
- Publication type:
- Article