User menu

Operational model: integrating user tasks and environment information with system model

Bibliographic reference Combéfis, Sébastien. Operational model: integrating user tasks and environment information with system model.3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009) (Eindhoven, Netherlands, du 02/11/2009 au 02/11/2009).
Permanent URL http://hdl.handle.net/2078.1/79458