FDTs in Self-adaptive Protocol Specification.

Zsuzsanna Harangozó Katalin Tarnay

Published in: IWSAS (2001)

Keyphrases

protocol specification
communication protocols
formal specification
formal methods
transformation rules
end to end
model checking