Stem estell$ (all stems)

4 papers:

TACAS-2003-DembinskiJJPPSWZ #automaton #named #specification #verification

Verics: A Tool for Verifying Timed Automata and Estelle Specifications (PD, AJ, PJ, WP, AP, MS, BW, AZ), pp. 278–283.

CSMR-2000-RolinskiR #evolution #maintenance #re-engineering #specification

Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes (PR, JLR), pp. 119–128.

SEKE-1994-PranevitchiusP #simulation #specification #tool support #validation

Tools for validation and simulation of Estelle/Ag specifications (HP, VP), pp. 94–99.

IWPTS-1993-HennigerSB #generative #protocol #specification #testing

Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle (OH, BS, SB), pp. 67–85.