External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach

Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini. Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Rel. Eng. & Sys. Safety, 120:112-126, 2013. [doi]

Authors

Simona Bernardi

This author has not been identified. Look up 'Simona Bernardi' in Google

Francesco Flammini

This author has not been identified. Look up 'Francesco Flammini' in Google

Stefano Marrone

This author has not been identified. Look up 'Stefano Marrone' in Google

Nicola Mazzocca

This author has not been identified. Look up 'Nicola Mazzocca' in Google

José Merseguer

This author has not been identified. Look up 'José Merseguer' in Google

Roberto Nardone

Identified as Roberto Nardone

Valeria Vittorini

This author has not been identified. Look up 'Valeria Vittorini' in Google
runs on