A graphical representation and prototype editor for the Formal Description Technique Estelle.

Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski

Browse the full FORTE paper archive.