Towards a Formal Model of Cyberrail
Dines Bjørner, Peter Chiang, Morten Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Pěnička · 2008
Based on a number of reports and publications, primarily by Takahiko Ogino [14], [15], [16] (in these proceedings), and [17], on the emerging concept of CyberRail, we attempt to show what a formal domain model of CyberRail might look like, and what benefits one might derive from establishing and having such a formal model.