Login / Signup
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.
Gwen Salaün
Michel Allemand
J. Christian Attiogbé
Published in:
APSEC (2001)
Keyphrases
</>
specification language
formal specification
process algebra
model checking
formal methods
requirements specification
programming language
reverse engineering
concurrent programs
artificial intelligence
response time
description language
software environment