Login / Signup
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis.
Luciana Foss
Simone André da Costa Cavalheiro
Nícolas Nogueira Bisi
Vinícius Steffens Pazzini
Lisane B. de Brisolara
Flávio Rech Wagner
Published in:
RITA (2013)
Keyphrases
</>
formal specification
object oriented design
formal methods
specification language
software architecture
fault detection
databases
model checking
service oriented