Safe controllers design for industrial automation systems

• http://dx.doi.org/10.1016/j.cie.2010.12.020
• http://www.scopus.com/inward/record.url?eid=2-s2.0-79952629829&partnerID=MN8TOARS
• full text

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

Visão geral

autores

• EURICO AUGUSTO RODRIGUES DE SEABRA
• FILOMENA MARIA DA ROCHA MENEZES DE OLIVEIRA SOARES
• José Francisco Creissac Freitas de Campos
• Leão, Celina Pinto
• Machado, José
• Soares, Filomena
• Machado, José Manuel
• Seabra, Eurico
• Campos, José C.

data de publicação

• janeiro 1, 2011

tem uma área de assunto

• Ciências Exatas - Ciências da Computação e da Informação

publicada em

• Computers & Industrial Engineering  Revista

Pesquisas

palavras-chave

• Formal verification
• Industrial systems behaviour modelling
• Real-time systems
• Safe controllers
• Simulation

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.cie.2010.12.020

Informação adicional documento

Página Inicial

• 635

página final

• 653

Volume

• 60

questão

• 4