International Journal on Software Tools for Technology Transfer Journal

publication venue for

An Event-B model of an automotive adaptive exterior light system. 26:331-346. 2024
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. 22:333-347. 2019
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. 22:349-363. 2019
Modeling a landing gear system in Event-B. 19:167-186. 2015

International Standard Serial Number (ISSN)

1433-2779