default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st FMIS@ICFEM 2006: Macau
- Antonio Cerone, Paul Curzon:
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 183, Elsevier 2007 - Antonio Cerone, Paul Curzon
:
Preface. 1-2 - Antonio Cerone, Norzima Elbegbayan:
Model-checking Driven Design of Interactive Systems. 3-20 - Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Detecting Cognitive Causes of Confidentiality Leaks. 21-38 - Dominique Cansell, J. Paul Gibson, Dominique Méry:
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. 39-55 - Judy Bowen, Steve Reeves:
Formal Models for Informal GUI Designs. 57-72 - Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Towards a Common Semantic Foundation for Use Cases and Task Models. 73-88 - Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
Towards a Coordination Model for Interactive Systems. 89-103
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-28 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
