Adopting Formal Methods in an Industrial Setting: The Railways Case

ter Beek, Maurice H. ; Borälv, Arne ; Fantechi, Alessandro ; Ferrari, Alessio ; Gnesi, Stefania ; Löfving, Christer ; Mazzanti, Franco McIver, Annabelle ; Oliveira, José N. ; ter Beek, Maurice H.

Formal Methods – The Next 30 Years, p.762-772 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo