%0 Journal Article
%T Modeling and verifying an arrival manager using the formal Event-B method
%A Mammar, Amel
%A Leuschel, Michael
%J International Journal on Software Tools for Technology Transfer
%V OnlineFirst
%P 1-17
%@ 1433-2779
%D 2025-05-12
%I Springer Berlin Heidelberg
%~ DeepDyve