Article,

Model-Based Development and Formal Methods in the Railway Industry.

, , , and .
IEEE Software, 30 (3): 28-34 (2013)

Meta data

Tags

Users

  • @junkerm
  • @dblp

Comments and Reviews