cribed by {modules}

which are communicating NFAs. Modules are arranged in a dynamic hierarchy and communicate at named interaction points.

EstPC Compiles Estelle into C. petdingo Translates Estelle into C++

Adopted by ITU-T. ISO 9074 (1989).

["The Formal Description Technique Estelle", M. Diaz et al eds, N-H 1989].

Nearby terms:

Verifying Integrated CIrcuit Systems} Ltd.cribed by {modules}finitetical

Try this search on Wikipedia, OneLook, Google


Loading