slovodefinícia
estelle
(foldoc)
Estelle

A Pascal extension for formal specification of computer
network protocols. Protocols are described by modules
which are communicating NFAs. Modules are arranged in a
dynamic hierarchy and communicate at named interaction points.

EstPC (ftp:osi.ncsl.nist.gov/pub/osikit/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].
podobné slovodefinícia
estelle
(foldoc)
Estelle

A Pascal extension for formal specification of computer
network protocols. Protocols are described by modules
which are communicating NFAs. Modules are arranged in a
dynamic hierarchy and communicate at named interaction points.

EstPC (ftp:osi.ncsl.nist.gov/pub/osikit/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].

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4