author : Antonis Papatsaras

Short works

• Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. 2002. (In ZB 2002 )