default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 22
Volume 22, 2009
Formal Methods for Interactive Systems 2009
Preface
- Michael D. Harrison, Mieke Massink:
Preface.
Articles
- Judy Bowen, Steve Reeves:
UI-Design Driven Model-Based Testing. - Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
:
Towards the Verification of Pervasive Systems. - Muffy Calder, Philip D. Gray, Chris Unsworth:
Tightly coupled verification of pervasive systems. - Hugh Anderson, Gabriel Ciobanu:
Markov Abstractions for Probabilistic Pi-Calculus. - Jean-François Bonnefon, Dominique Longin, Manh-Hung Nguyen:
A Logical Framework for Trust-Related Emotions.
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 2026-08-03 00:40 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
