- 1
- 1
- 1
Valentin Besnard
3
Documents
Identifiants chercheurs
- valentin-besnard
- Google Scholar : https://scholar.google.fr/citations?user=rPaniGUAAAAJ
Présentation
Publications
- 3
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
AnimUML: a Practical Tool for Partial Model Animation and AnalysisScience of Computer Programming, 2023, pp.103050. ⟨10.1016/j.scico.2023.103050⟩
Article dans une revue
hal-04234580v1
|
AnimUML as a UML Modeling and Verification Teaching ToolMODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
Communication dans un congrès
hal-03408698v1
|
|
Designing, Animating, and Verifying Partial UML Models23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
Communication dans un congrès
hal-02931876v1
|