Browsing by subject Model checking

Jump to: 0-9 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

or enter first few letters:  

Showing results 1 to 13 of 13.
Issue DateTitleAuthor(s)TypeAccess
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArticleOpen access
Jul-2004Análise de usabilidade baseada em modelosCampos, J. CreissacConference paperOpen access
2015Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizadosGalvão, Joel Maurício RochaMaster thesis Open access
2017Demonstrating that medical devices satisfy user related safety requirementsHarrison, Michael douglas; Masci, Paolo; Campos, José C., et al.Conference paperOpen access
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArticleOpen access
Aug-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.ArticleOpen access
2010Model-checking temporal properties of real-time HTL programsCarvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa, et al.Conference paperOpen access
2016Modelling information resources and their salience in medical device designHarrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas, et al.Conference paperOpen access
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C., et al.Conference paperOpen access
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArticleOpen access
Aug-2003Uma abordagem formal à engenharia da usabilidadeCampos, J. CreissacConference paperOpen access
2003Using task knowledge to guide interactor specifications analysisCampos, J. CreissacBook partOpen access
Dec-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C., et al.ArticleOpen access