Found 1 document(s)
Page 1 of 1
-
This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. Well-specified requirements are crucial for good software design; they depend on the understanding of the doma...