Skip to content

A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages.

Tommaso Bolognesi

VenueBICECCS
Year2004
ProceedingsICECCS

Browse the full ICECCS paper archive.