A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation.

Sanjai Narain Orville Cockings Ritu Chadha

Published in: FORTE (1993)

Keyphrases

formal model
formal models
security properties
real time
mathematical model
simulation model
simulation environment
simulation models
security patterns
case based reasoning
low cost
information security
steady state simulation
interventional radiology