Estelle A {Pascal} extension for formal specification of computer {network} {protocols}. Protocols are described by {modules} which are communicating {NFAs} ...
確定! 回上一頁