Skip to content

A new Concept of Refinement used for Behaviour Modelling with Automata.

Barbara Paech, Bernhard Rumpe

VenueBFM
Year1994
ProceedingsFME

Browse the full FM paper archive.