Login / Signup
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
Didier Bert
Marie-Laure Potet
Nicolas Stouls
Published in:
CoRR (2010)
Keyphrases
</>
security properties
real time
security requirements