| Autor: |
Fotsing, Christian, Geniet, Annie, Vidal-Naquet, Guy |
| Přispěvatelé: |
Laboratoire d'Informatique Scientifique et Industrielle (LISI), Université de Poitiers-Ecole Nationale Supérieure de Mécanique et d'Aérotechnique [Poitiers] (ISAE-ENSMA), Supélec Sciences des Systèmes (E3S), Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Faivre, Evelyne |
| Jazyk: |
francouzština |
| Rok vydání: |
2010 |
| Předmět: |
|
| Zdroj: |
Actes des 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement et Logiciels-AFADL 2010 |
| Popis: |
National audience; Nous proposons une modélisation formelle des applications temps- réel (ATR) basée sur les réseaux de Petri (RdP), qui prend en compte de façon explicite les instructions conditionnelles (IC) et la sémantique des tests conditionnels (TC) contenus dans les tâches. Ce modèle, beaucoup plus réaliste, servira à la validation automatique des applications considérées. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
