autores José Francisco Creissac Freitas de Campos J.M. Machado J.C. Campos Machado,J José Mendes Machado Campos, J.
palavras-chave Dependable controllers Formal verification Human machine interface Machines’ design Partial plant models
Digital Object Identifier (DOI) https://doi.org/10.1007/978-3-319-05203-8_18 https://doi.org/10.1007/978-3-319-05203-8_18