Karsten Loer und Interactive Systems - Info zur Person

(1 - 13 von 16

)

OPC4 - results/titledatalhwei.gbv.de › PPN

lhwei.gbv.de

Formal analysis of interactive systems: opportunities and weaknesses / Michael Harrison, José Creissac Campos and Karsten Loer. Using statistics in usability ...

Karsten+Loer | XanEdu Customization Platform

www.academicpub.com

dependable interactive systems (IFADIS): Its tool support and evaluation.

Interactive Systems. Design Specification, and Verification: ...google.com

books.google.com

... Forbrig T.C. Nicholas Graham Philip Gray Chris Johnson Joaquim A Jorge Rick Kazman Karsten Loer Panos Markopoulos Mieke Massink Laurence Nigay Phillippe ...

Interactive Systems. Design Specification, and Verification: 12th

books.google.de

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems,...

Formal Specification and Verification of Interactive ConvecsInria

convecs.inria.fr

[Loer & Harrison 2000] Karsten Loer et Michael D. Harrison. Formal Interactive Systems. Analysis and Usability Inspection Methods: Two Incompatible Worlds? › publications › Oliveira-15

Formal Specification and Verification of Interactive Systems ...Archive ouverte HAL

theses.hal.science

von RA De Oliveira · · Zitiert von: 4 — [Loer & Harrison 2006] Karsten Loer et Michael D Harrison. An Integrated Framework for the. Analysis of Dependable Interactive Systems ... › tel › document

Supporting Resource-Based Analysis of Task Information ...Trinity College Dublin

www.scss.tcd.ie

von JC Campos · Zitiert von: 9 — Karsten Loer. Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York, › dsvis05-resources

Karsten Loer - dblpdblp.org › Persons

dblp.org

Karsten Loer, Michael D. Harrison : An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and ...

Formal Interactive Systems Analysis and Usability Inspection Methods:...

link.springer.com

We present our view on how a formal technique for the analysis of interactive systems can be used to support ‘discount’usability inspection methods. As a...

Karsten Loer - researchr alias

researchr.org

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluationKarsten Loer, Michael D. Harrison.

DSVIS'05 Committee

homepages.cs.ncl.ac.uk

Design, Specification and Verification of Interactive Systems: DSVIS'05

Lecture Notes in Computer ScienceUniversity of Utah

ftp.math.utah.edu

— 151 Karsten Loer and Michael Harrison Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? › bib › toc

toclimpio.texuib.es

bioinfo.uib.es

Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems Karsten Loer, Michael Harrison YEAR = › OldData › ASE › Rawdata

Alle Infos zum Namen "Karsten Loer"

Verwandte Suchanfragen zu Karsten Loer

Thorsten Gerdsmeier
Michael Höhl
Peter Ladkin

Ralf Brinke
Michael Schreiber
Günter Schmittberger

Kerstin Boldt
Dirk Reinhardt
Melanie Duckworth

Person "Loer" (1)
Vorname "Karsten" (15192)
Name "Loer" (253)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Karsten Loer und Interactive Systems Person-Info