ask others

Electronic Notes in Theoretical Computer Science, Volume 183

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 183, July 2007

Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006)

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CeroneC07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CeroneC07
Antonio Cerone, Paul Curzon:
Preface. 1-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CeroneE07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CeroneE07
Antonio Cerone, Norzima Elbegbayan:
Model-checking Driven Design of Interactive Systems. 3-20
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/entcs/RuksenasCB07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/RuksenasCB07
Rimvydas Ruksenas, Paul Curzon, Ann Blandford:
Detecting Cognitive Causes of Confidentiality Leaks. 21-38
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CansellGM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CansellGM07
Dominique Cansell, J. Paul Gibson, Dominique Méry:
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. 39-55
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/entcs/BowenR07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BowenR07
Judy Bowen, Steve Reeves:
Formal Models for Informal GUI Designs. 57-72
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/SinnigCK07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/SinnigCK07
Daniel Sinnig, Patrice Chalin, Ferhat Khendek:
Towards a Common Semantic Foundation for Use Cases and Task Models. 73-88
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BarbosaBC07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BarbosaBC07
Marco Antonio Barbosa, Luís Soares Barbosa, José Creissac Campos:
Towards a Coordination Model for Interactive Systems. 89-103