Login / Signup

From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis.

Luciana FossSimone André da Costa CavalheiroNícolas Nogueira BisiVinícius Steffens PazziniLisane B. de BrisolaraFlá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