Stop the war!Остановите войну!
for scientists:
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.
a service of 
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 2024-04-25 04:44 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
