Login / Signup

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.

J. Christian AttiogbéPascal PoizatGwen Salaün
Published in: IEEE Trans. Software Eng. (2007)
Keyphrases
  • data types
  • formal model
  • software tools
  • website
  • video sequences
  • data streams
  • formal methods
  • mathematical theory