| Autor: |
Arturo Sanchez, S. J. Goldsack, Kevin Lano |
| Rok vydání: |
1999 |
| Předmět: |
|
| Zdroj: |
Industrial-Strength Formal Methods in Practice ISBN: 9781852336400 |
| DOI: |
10.1007/978-1-4471-0523-7_4 |
| Popis: |
This chapter shows the combined use of formal methods with techniques developed in control engineering for the design and development of automation systems for discrete-event processes. On the one hand, formal methods guarantee the correct implementation of a given specification. On the other, control engineering techniques are used to develop a specification which is guaranteed to satisfy operational and safety requirements. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
