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 , 02/11/2009). In: Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems, 2009
Permanent URL http://hdl.handle.net/2078.1/140288