Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36509
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Sousa, Manuel | por |
dc.contributor.author | Campos, J. Creissac | por |
dc.contributor.author | Alves, Miriam | por |
dc.contributor.author | Harrison, M. D. | por |
dc.date.accessioned | 2015-07-30T10:38:11Z | - |
dc.date.available | 2015-07-30T10:38:11Z | - |
dc.date.issued | 2014 | - |
dc.identifier.citation | M. Sousa, J.C. Campos, M. Alves and M.D. Harrison. Formal Verification of Safety-Critical User Interfaces: a space system case study. In Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, pages 62-67. AAAI Press. 2014. | por |
dc.identifier.isbn | 9781577356554 | por |
dc.identifier.uri | https://hdl.handle.net/1822/36509 | - |
dc.description.abstract | Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces based on model checking techniques. | por |
dc.description.sponsorship | J.C. Campos is funded by project ref. NORTE-07-0124-FEDER-000062 co-financed by the North Portugal Regional Operational Programme (ON.2 – O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), and by national funds, through the Portuguese foundation for science and technology (FCT). | por |
dc.language.iso | eng | por |
dc.publisher | Association for the Advancement of Artificial Intelligence | por |
dc.rights | openAccess | por |
dc.title | Formal verification of safety-critical user interfaces: a space system case study | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 62 | por |
oaire.citationEndPage | 67 | por |
oaire.citationVolume | SS-14-02 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
sdum.conferencePublication | Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
7722-34384-1-pb.pdf | 559,86 kB | Adobe PDF | Ver/Abrir |