Échantillonnage préférentiel pour le model checking statistique
| Autor: | Benoît Bardot, Serge Haddad, Claudine Picaronny |
|---|---|
| Přispěvatelé: | Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Bollig, Benedikt |
| Jazyk: | francouzština |
| Rok vydání: | 2011 |
| Předmět: |
Physics
021103 operations research [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Control and Systems Engineering 0211 other engineering and technologies 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 02 engineering and technology Electrical and Electronic Engineering Industrial and Manufacturing Engineering ComputingMilieux_MISCELLANEOUS Computer Science Applications [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] |
| Zdroj: | MSR'11 MSR'11, 2011, Lille, France |
| Popis: | National audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|