Inproceedings,

Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect.

, , and .
FMICS, volume 14290 of Lecture Notes in Computer Science, page 1-21. Springer, (2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews