翻訳と辞書
Words near each other
・ esim
・ esl
・ eslpdpro
・ esml
・ esmtp
・ esp
・ espol
・ esprit
・ esr
・ essential complexity
estelle
・ esterel
・ estpc
・ et
・ et++
・ eta abstraction
・ eta conversion
・ eta expansion
・ eta reduction
・ etb


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

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].



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.