Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.

Christine Choppy, Pascal Poizat, Jean-Claude Royer

Browse the full FASE paper archive.