Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks.
| Autor: | Kindermann, R., Junttila, T., Niemela, I. |
|---|---|
| Zdroj: | 2011 11th International Conference on Application of Concurrency to System Design (ACSD); 2011, p185-194, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|