- 2
- 1
- 1
Valentin Besnard
4
Documents
Identifiants chercheurs
- valentin-besnard
- Google Scholar : https://scholar.google.fr/citations?user=rPaniGUAAAAJ
Présentation
Publications
- 4
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 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
|
|
|
The TTC 2018 Social Media Case, by ATL and AOF11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations (STAF 2018), Jun 2018, Toulouse, France
Communication dans un congrès
hal-01996093v1
|