Login / Signup
From Requirements Models to Formal Specifications in B.
Christophe Ponsard
Emmanuel Dieul
Published in:
ReMo2V (2006)
Keyphrases
</>
formal specification
database
probabilistic model
real world
model checking
concurrent systems