Knowledge Tree

researcher / Claudia Frydman

Claudia Frydman

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Approches pour la vérification et la validation des modèles de production : application à une usine de fabrication de semi-conducteurs

Conception par patrons des modèles à événements discrets : de la machine à états finis au DEVS

Une approche de vérification formelle et de simulation pour les systèmes à événements : application à PROMELA

Utilisation du formalisme DEVS pour la validation de comportements des systèmes à partir des scénarios UML

Fastest : improving and supporting the Test Template Framework

Proposition d'un cadre conceptuel pour l'analyse, la classification et le choix de systèmes de diagnostic à base de connaissances