skip to main content

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

Bernardi, S. ; Flammini, F. ; Marrone, S. ; Mazzocca, N. ; Merseguer, J. ; Nardone, R. ; Vittorini, V.

Reliability engineering & system safety, 2013-12, Vol.120, p.112-126 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Buscando em bases de dados remotas. Favor aguardar.