C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal specification and analysis of accelerated heartbeat protocols.
Muhammad Atif
Mohammad Reza Mousavi
Published in:
SummerSim (2010)
Keyphrases
</>
formal specification
databases
information systems
reverse engineering
specification languages
cooperative
specification language