Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach?
The use of analysis techniques for industrial controller’s analysis, such as Simulation and Formal Verification, is sometimes complex on industrial context. This complexity is due to the fact that such techniques require sometimes big investment in highly qualified human resources that have sufficie...
| Autor principal: | |
|---|---|
| Outros Autores: | , , |
| Formato: | conferencePaper |
| Idioma: | eng |
| Publicado em: |
2013
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/22910 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/22910 |