A Specification Patterns System for Discrete Event Systems Analysis

• http://repositorio.inesctec.pt/handle/123456789/4132
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• José Francisco Creissac Freitas de Campos
• José Mendes Machado
• Machado,J

data de publicação

• janeiro 1, 2013

tem uma área de assunto

• Ciências Exatas

publicada em

• International Journal of Advanced Robotic Systems  Revista

Pesquisas

palavras-chave

• Dependability
• Discrete event systems
• Model checking
• Property specification patterns

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.5772/56412
• https://doi.org/10.5772/56412

Informação adicional documento

Página Inicial

• 1

página final

• 10
• 13

Volume

• 10

questão

• 1