Compétences
Reactive System Modelling and Formal Verification
Requirements Modelling
Generative AI
System Architecting
Discrete Event Modeling and Simulation
Publications
- 1
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedbackISSREW 2023 - 34th IEEE International Symposium on Software Reliability Engineering Workshops, Oct 2023, Florence, Italy. pp.75-80, ⟨10.1109/ISSREW60843.2023.00050⟩
Communication dans un congrès
hal-04289432v1
|