Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications.
| Autor: | Sango, Marc, Duchien, Laurence, Gransart, Christophe |
|---|---|
| Zdroj: | Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers; 2015, p248-266, 19p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|