Filter your results
- 8
- 2
- 7
- 2
- 1
- 10
- 3
- 1
- 2
- 2
- 2
- 9
- 1
- 8
- 5
- 1
- 10
- 6
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 Results
|
|
sorted by
|
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⟩
Journal articles
hal-03538522v1
|
|||
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), ⟨10.1504/IJSPM.2017.085564⟩
Journal articles
hal-01785965v1
|
|||
Restricting DEv-PROMELA with a Hierarchy of Simulation FormalismsSymposium on Theory of Modeling and Simulation (TMS/DEVS '17), Apr 2017, San Diego, United States
Conference papers
hal-01786109v1
|
|||
Formal Methods and Discrete-Event SimulationsJDF 2016 - LES JOURNÉES DEVS FRANCOPHONES - THÉORIE ET APPLICATIONS, 2016, Cargèse, France
Conference papers
hal-03643337v1
|
|||
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
Conference papers
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
Conference papers
hal-03555511v1
|
||
|
Virtual Communication Stack: Towards Building Integrated Simulator of Mobile Ad Hoc Network-based Infrastructure for Disaster Response Scenarios2020
Preprints, Working Papers, ...
hal-02558198v1
|
||
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
Conference papers
hal-03604800v1
|
|||
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
Conference papers
hal-03643254v1
|
|||
Towards using DEVS for modelling adaptive storytelling in virtual gamesSummerSim '18 Proceedings of the 50th Computer Simulation Conference, Jul 2018, Bordeaux, France
Conference papers
hal-01881349v1
|