RE
2010
Springer
13 years 6 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...