Specifying and Validating Reactive Systems with CommonKADS Methodology.

Mamar El-Amine Hamri, Claudia S. Frydman, Lucile Torres

Browse the full KES paper archive.