Percorrer por assunto Model checking

Índice: 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

ou inserir as letras iniciais:  

Mostrar 1-20 de um total de 21 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
2023Adding records to alloyBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArtigoAcesso aberto
13-Nov-2020Analysis of message passing software using electrumCarvalho, Bruno Renato FernandesDissertação de mestrado Acesso aberto
Jul-2004Análise de usabilidade baseada em modelosCampos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C., et al.ArtigoAcesso aberto
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 RochaDissertação de mestrado Acesso aberto
2017Demonstrating that medical devices satisfy user related safety requirementsHarrison, Michael douglas; Masci, Paolo; Campos, José C., et al.Artigo em ata de conferênciaAcesso aberto
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArtigoAcesso aberto
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison, Michael douglas; Freitas, Leo; Drinnan, Michael, et al.ArtigoAcesso aberto
27-Nov-2023Formalização de um protocolo Mesh para sistemas IoT em AlloyLourenço, Rafael InácioDissertação de mestrado Acesso aberto
Ago-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
2010Model-checking temporal properties of real-time HTL programsCarvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
2016Modelling information resources and their salience in medical device designHarrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas, et al.Artigo em ata de conferênciaAcesso aberto
2022Pardinus: a temporal relational model finderMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.ArtigoAcesso aberto
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C., et al.Artigo em ata de conferênciaAcesso aberto
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
Set-2018The electrum analyzer: Model checking relational first-order temporal specificationsBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
23-Dez-2019Towards model checking electrum specifications with LTSminCancelinha, Bruno Miguel SousaDissertação de mestrado Acesso aberto
Ago-2003Uma abordagem formal à engenharia da usabilidadeCampos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2003Using task knowledge to guide interactor specifications analysisCampos, J. CreissacCapítulo de livroAcesso aberto
Mostrar 1-20 de um total de 21 resultados.  próximo >