Login / Signup
Formal Techniques for Analysing Scenarios using Message Sequence Charts.
Purandar Bhaduri
R. Venkatesh
Girish Keshav Palshikar
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
email
neural network
formal model
formal specification
database
data sets
information systems
database systems
anomaly detection