Browsing by Keywords "Software package Estelle"
Now showing items 1-1 of 1
(Elsevier, 1991)A test design tool for functional analysis and test derivation of protocols formally specified using an extended finitestate machine model is presented. The formal description language supported is Estelle. The tool's main ...