Issues to be considered on obtaining plant models for formal verification purposes
The development of dependable software for mechatronic systems can be a very complex and hard task. For facilitating the obtaining of dependable software for industrial controllers, some powerful software tools and analysis techniques can be used. Mainly, when using simulation and formal verificatio...
| Autor principal: | |
|---|---|
| Outros Autores: | , , , , |
| Formato: | conferencePaper |
| Idioma: | eng |
| Publicado em: |
2016
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/53632 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/53632 |