Mostrando 1 - 16 resultados de 16 para a busca '"Critical Systems"', tempo de busca: 0,39s

6

Assuntos: ...Safety-critical systems...

Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.

Publicado em 2018
Dissertação

16

Assuntos: ...PLC. IEC 61131-3. B method. Formal methods. Safety critical systems...

Formal verification of PLC programs using the B Method

Publicado em 2012
Dissertação