DMCA

Applying LSCs to the specification of an Air Traffic Control system (2003)

by Yves Bontemps , Patrick Heymans , Hillel Kugler
Venue:Proc. of the 2nd Int. Workshop on “Scenarios and State Machines: Models, Algorithms and Tools” (SCESM’03), at the 25th Int. Conf. on Soft. Eng. (ICSE’03
Citations:15 - 4 self