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