Works matching IS 14332779 AND DT 2017 AND VI 19 AND IP 2
Results: 7
Rigorous development process of a safety-critical system: from ASM models to Java code.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 247, doi. 10.1007/s10009-015-0394-x
- By:
- Publication type:
- Article
Modeling a landing gear system in Event-B.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 167, doi. 10.1007/s10009-015-0391-0
- By:
- Publication type:
- Article
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 141, doi. 10.1007/s10009-015-0400-3
- By:
- Publication type:
- Article
Environment-driven reachability for timed systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 229, doi. 10.1007/s10009-015-0401-2
- By:
- Publication type:
- Article
The landing gear system in multi-machine Hybrid Event-B.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 205, doi. 10.1007/s10009-015-0409-7
- By:
- Publication type:
- Article
The landing gear case study: challenges and experiments.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
Validation of the ABZ landing gear system using ProB.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 187, doi. 10.1007/s10009-015-0395-9
- By:
- Publication type:
- Article