Login / Signup
Romain Geniet
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Development Process
User Friendly
Statistical Models
Human Machine Interfaces
Top Venues
STAF Workshops
Interact. Comput.
</>
Publications
</>
Neeraj Kumar Singh
,
Yamine Aït Ameur
,
Romain Geniet
,
Dominique Méry
,
Philippe A. Palanque
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
Interact. Comput.
33 (1) (2021)
Romain Geniet
,
Neeraj Kumar Singh
Refinement Based Formal Development of Human-Machine Interface.
STAF Workshops
(2018)