Introducing the modeling and verification process in SysML.

Marcos Vinicius Linhares, Rmulo Silva de Oliveira, Jean-Marie Farines, Franois Vernadat

Browse the full ETFA paper archive.