- 4
Francis JAMBON
4
Documents
Présentation
**Home page: <https://lig-membres.imag.fr/jambon/>**
Publications
- 4
- 4
- 4
|
Interactive System Safety and Usability enforced with the development processProc. 8th IFIP International Conference - Engineering for Human-Computer Interaction (EHCI 2001), May 2001, Toronto, Canada. pp.39-55, ⟨10.1007/3-540-45348-2\_8⟩
Communication dans un congrès
hal-03674068v1
|
Interactive System Safety and Usability enforced by the Development Process: the FADEC User Interface Case StudyProc. Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 Workshop within HCI-Aero'2000 (SUCA 2000), Sep 2000, Toulouse, France
Communication dans un congrès
hal-03655164v1
|
|
|
Using the B formal approach for incremental specification design of interactive systemsEngineering for Human-Computer Interaction (EHCI 1998), Sep 1998, Heraklion, Greece. pp.91-108
Communication dans un congrès
hal-03632526v1
|
|
A Uniform approach for the Specification and Design of Interactive Systems: the B methodEurographics Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 1998), Jun 1998, Abingdon, Unknown Region. pp.333-352
Communication dans un congrès
hal-03632527v1
|