Sign in
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:
ZB (2005)
Keyphrases
</>
security properties
operating system
real time
data mining
security protocols