A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems
| Autor: | Kloos, Johannes, Eschbach, Robert |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 3 June 2010 263:145-160 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect