Login / Signup
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.
J. Christian Attiogbé
Pascal Poizat
Gwen 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