Publications

Integrating Formal Predictions of Interactive System Behaviour with User Evaluation

AuthID
P-00G-DMG

Author(s)

Ruksenas, R

Curzon, P

Harrison, MD

Document Type

Proceedings Paper

Year published

2013

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 7940 LNCS, Pages: 238-252

Conference

10Th International Conference on Integrated Formal Methods, Ifm 2013, Date: 10 June 2013 through 14 June 2013, Location: Turku, Sponsors: Department of Information Technologies at Abo Akademi University;Springer;Foundation for Abo Akademi University;Federation of Finnish Learned Societies

Indexing