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:

Arcaini, Paolo;
Gargantini, Angelo;
Riccobene, Elvinia

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:

Mammar, Amel;
Laleau, Régine

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:

Su, Wen;
Abrial, Jean-Raymond

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:

Teodorov, Ciprian;
Dhaussy, Philippe;
Roux, Luka

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:

Banach, Richard

Publication type:

Article

The landing gear case study: challenges and experiments.

Published in:

2017

By:

Boniol, Frédéric;
Wiels, Virginie;
Aït-Ameur, Yamine;
Schewe, Klaus-Dieter

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:

Ladenberger, Lukas;
Hansen, Dominik;
Wiegard, Harald;
Bendisposto, Jens;
Leuschel, Michael

Publication type:

Article