Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction.

Autor: Umeno, S., Lynch, N.
Zdroj: 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS); 2010, p136-145, 10p
Databáze: Complementary Index