Personal information

Full Name
Florence VIVARES
Organization
ATOS Toulouse
Interests
Topcased, Formal methods, Code generation, UML, spatial applications
Bio

last experiences:
Management of studies about development of on board space procedures
Formal check for UML based model

History

Member for
1 year 4 weeks