Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_14
M. Harrison, P. Masci, J. C. Campos, P. Curzon
{"title":"The Specification and Analysis of Use Properties of a Nuclear Control System","authors":"M. Harrison, P. Masci, J. C. Campos, P. Curzon","doi":"10.1007/978-3-319-51838-1_14","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_14","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"439 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116019877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_15
G. Brat, Sébastien Combéfis, D. Giannakopoulou, C. Pecheur, F. Raimondi, Neha Rungta
{"title":"Formal Analysis of Multiple Coordinated HMI Systems","authors":"G. Brat, Sébastien Combéfis, D. Giannakopoulou, C. Pecheur, F. Raimondi, Neha Rungta","doi":"10.1007/978-3-319-51838-1_15","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_15","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128978736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_8
P. Curzon, R. Ruksenas
{"title":"Modelling the User","authors":"P. Curzon, R. Ruksenas","doi":"10.1007/978-3-319-51838-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_8","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127316169","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_16
S. Mierlo, Yentl Van Tendeloo, B. Meyers, H. Vangheluwe
{"title":"Domain-Specific Modelling for Human-Computer Interaction","authors":"S. Mierlo, Yentl Van Tendeloo, B. Meyers, H. Vangheluwe","doi":"10.1007/978-3-319-51838-1_16","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_16","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133274443","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_13
M. Bolton, E. Bass
{"title":"Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human Behavior in the Verification of Complex Systems","authors":"M. Bolton, E. Bass","doi":"10.1007/978-3-319-51838-1_13","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_13","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121678524","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_11
Guillaume Maudoux, C. Pecheur, Sébastien Combéfis
{"title":"Learning Safe Interactions and Full-Control","authors":"Guillaume Maudoux, C. Pecheur, Sébastien Combéfis","doi":"10.1007/978-3-319-51838-1_11","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_11","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114877163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_4
Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix, Philippe A. Palanque
{"title":"Case Studies","authors":"Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix, Philippe A. Palanque","doi":"10.1007/978-3-319-51838-1_4","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_4","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128648735","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_2
Judy Bowen, A. Dix, Philippe A. Palanque, B. Weyers
{"title":"Topics of Formal Methods in HCI","authors":"Judy Bowen, A. Dix, Philippe A. Palanque, B. Weyers","doi":"10.1007/978-3-319-51838-1_2","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_2","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131221620","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_18
Marco Manca, F. Paternò, C. Santoro
{"title":"A Public Tool Suite for Modelling Interactive Applications","authors":"Marco Manca, F. Paternò, C. Santoro","doi":"10.1007/978-3-319-51838-1_18","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_18","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132791680","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-319-51838-1_6
Judy Bowen, S. Reeves
{"title":"Combining Models for Interactive System Modelling","authors":"Judy Bowen, S. Reeves","doi":"10.1007/978-3-319-51838-1_6","DOIUrl":"https://doi.org/10.1007/978-3-319-51838-1_6","url":null,"abstract":"","PeriodicalId":151300,"journal":{"name":"Handbook of Formal Methods in Human-Computer Interaction","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115394246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：