Login / Signup
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.
J. Christian Attiogbé
Pascal Poizat
Gwen Salaün
Published in:
IPDPS (2003)
Keyphrases
</>
data types
formal language
formal specification
operational semantics
transition systems
formal model
state space
database systems
genetic algorithm
preprocessing
formal methods
database
object oriented
data structure
finite state machines
knowledge base
information retrieval
reactive systems
uml diagrams