Mostrando 1 - 15 resultados de 15 para a busca '"Sistema crítico"', tempo de busca: 0,18s

11

Assuntos: ...PLC. IEC 61131-3. Método B. Métodos formais. Sistemas críticos...

Formal verification of PLC programs using the B Method

Publicado em 2012
Dissertação