default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 45
Volume 45, 2011
- Judy Bowen
, Steve Reeves:
Preface for FMIS 2011. - Chris W. Johnson:
Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems. - Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby:
Capturing the distinction between task and device errors in a formal model of user behaviour. - José Creissac Campos, Michael D. Harrison:
Modelling and analysing the interactive behaviour of an infusion pump. - Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss:
Modelling Distributed Cognition Systems in PVS. - Ellen J. Bass, Karen M. Feigh, Elsa L. Gunter, John M. Rushby:
Formal Modeling and Analysis for Interactive Hybrid Systems. - Rimvydas Ruksenas, Paul Curzon:
Abstract Models and Cognitive Mismatch in Formal Verification. - Judy Bowen, Annika Hinze:
Supporting Mobile Application Development with Model-Driven Emulation. - Antonio Cerone:
Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems. - Colm Bhandal, Mélanie Bouroche, Arthur Hughes:
A Process Algebraic Description of a Temporal Wireless Network Protocol. - Harold W. Thimbleby, Andy Gimblett:
Dependable keyed data entry for interactive systems. - Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby:
On formalising interactive number entry on infusion pumps.
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-01-10 18:39 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:
