Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Using PVS to support the analysis of distributed cognition systems
Innovations in systems and software engineering, 2015-06, Vol.11 (2), p.113-130
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
Innovations in systems and software engineering, 2015-06, Vol.11 (2), p.73-93
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
An approach to formal verification of human-computer interaction
Formal aspects of computing, 2007-11, Vol.19 (4), p.513-550
2007
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Combining human error verification and timing analysis: a case study on an infusion pump
Formal aspects of computing, 2014-09, Vol.26 (5), p.1033-1076
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification-guided modelling of salience and cognitive load
Formal aspects of computing, 2009-12, Vol.21 (6), p.541-569, Article s00165-008-0102-7
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal methods for interactive systems
Innovations in systems and software engineering, 2008-06, Vol.4 (2), p.123-123
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Editorial
Formal aspects of computing, 2009-12, Vol.21 (6), Article s00165-009-0121-z
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Editorial
Formal aspects of computing, 2009-12, Vol.21 (6), p.511
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Editorial
Formal aspects of computing, 2009, Vol.21 (6)
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Extended papers from the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Lancaster, UK, September 2007
Formal aspects of computing, 2009, Vol.21 (6)
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modelling and analysing cognitive causes of security breaches
Innovations in systems and software engineering, 2008-06, Vol.4 (2), p.143-160
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification-guided modelling of salience and cognitive load: Extended papers from the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Lancaster, UK, September 2007
Formal aspects of computing, 2009, Vol.21 (6), p.541-569
2009
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Providing a formal linkage between MDG and HOL
Formal methods in system design, 2007-04, Vol.30 (2), p.83-116
2007
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Hierarchical formal verification using a hybrid tool
International journal on software tools for technology transfer, 2003-05, Vol.4 (3), p.313-322
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Deriving correctness properties of compiled code
Formal methods in system design, 1993-08, Vol.3 (1-2), p.83-115
1993
Volltextzugriff (PDF)
1 – 15 von 15
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
Suchergebnisse filtern
Filter anzeigen