Property patterns for the formal verification of automated production systems
In recent years, several approaches to the analysis of automation systems dependability through the application of formal verification techniques have been proposed. Much of the research has been concerned with the modelling languages used, and how best to express the automation systems, so that aut...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | conferencePaper |
| Language: | eng |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/38854 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/38854 |