Specifying and Validating Reactive Systems with CommonKADS Methodology

Maamar  El Amine Hamri; Claudia Frydman; Lucile Torres

Conference Papers Year :

Specifying and Validating Reactive Systems with CommonKADS Methodology

(1, 2) , ,

1
2

Maamar El Amine Hamri

Function : Author
PersonId : 1036804

Modèles et Formalismes à Evénements Discrets

Laboratoire d'Informatique et Systèmes

Claudia Frydman

Function : Author

Lucile Torres

Function : Author

Domains

Computer Science [cs] Modeling and Simulation

MAAMAR EL AMINE HAMRI : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-03555765

Submitted on : Thursday, February 3, 2022-6:06:01 PM

Last modification on : Friday, March 24, 2023-2:53:25 PM

Dates and versions

hal-03555765 , version 1 (03-02-2022)

Identifiers

HAL Id : hal-03555765 , version 1

Cite

Maamar El Amine Hamri, Claudia Frydman, Lucile Torres. Specifying and Validating Reactive Systems with CommonKADS Methodology. International Conference on Knowledge-Based Intelligent Information & Engineering Systems & Allied Technologies, Sep 2003, Oxford, United Kingdom. ⟨hal-03555765⟩

Specifying and Validating Reactive Systems with CommonKADS Methodology

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share