Filtrer vos résultats
- 8
- 3
- 6
- 2
- 2
- 1
- 11
- 1
- 2
- 1
- 3
- 2
- 2
- 10
- 1
- 9
- 5
- 1
- 11
- 7
- 5
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
11 résultats
|
|
triés par
|
Using DEv-PROMELA for Modelling and Verification of SoftwareSIGSIM-PADS '16 SIGSIM Principles of Advanced Discrete Simulation Banff, AB, Canada May 15 - 18, 2016, 2016, Unknown, Unknown Region. pp.245-253
Communication dans un congrès
hal-01490105v1
|
|||
|
TOWARDS AN EXTENSION OF PROMELA FOR THE MODELING, SIMULATION AND VERIFICATION OF DISCRETE-EVENT SYSTEMS27th European Modeling and Simulation Symposium, EMSS 2015, Sep 2015, Bergeggi, Italy
Communication dans un congrès
hal-03555511v1
|
||
|
DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulationSIMULATION: Transactions of The Society for Modeling and Simulation International, 2020, 96 (11), ⟨10.1177/0037549720946107⟩
Article dans une revue
hal-03538522v1
|
||
Restricting DEv-PROMELA with a Hierarchy of Simulation FormalismsSymposium on Theory of Modeling and Simulation (TMS/DEVS '17), Apr 2017, San Diego, United States
Communication dans un congrès
hal-01786109v1
|
|||
|
DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event SystemInternational Journal of Simulation and Process Modelling, 2017, 12 (3/4), pp.313. ⟨10.1504/IJSPM.2017.085564⟩
Article dans une revue
hal-04081027v1
|
||
|
Vérification formelle d'un réseau sur puce : Application de DEv-Promela.ACTES DES 19ÈMES JOURNÉES SUR LES APPROCHES FORMELLES DANS L'ASSISTANCE AU DÉVELOPPEMENT DE LOGICIELS, Jun 2020, Montpellier, France
Communication dans un congrès
hal-03604800v1
|
||
|
Formal Methods and Discrete-Event SimulationsJDF 2016 - LES JOURNÉES DEVS FRANCOPHONES - THÉORIE ET APPLICATIONS, 2016, Cargèse, France
Communication dans un congrès
hal-03643337v1
|
||
|
RESTRICTING DEV-PROMELA WITH A HIERARCHY OF SIMULATION FORMALISMS2017
Proceedings/Recueil des communications
hal-04232323v1
|
||
|
Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios2020
Pré-publication, Document de travail
hal-02558198v1
|
||
Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event SystemsProceedings of the 27th European Modelling and Simulation Symposium, 2015, Genoa, Italy
Communication dans un congrès
hal-03643254v1
|
|||
|
Towards using DEVS for modelling adaptive storytelling in virtual gamesACM, pp.27, 2018, SummerSim '18: Proceedings of the 50th Computer Simulation Conference, ⟨10.5555/3275382.3275409⟩
Proceedings/Recueil des communications
hal-01881349v1
|