Book Chapter

Finite state machine based: SDL

R SINNOTT, D Hogrefe

Cambridge University Press | Published : 2001

Abstract

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems.

Keywords