Enhanced CakES representing safety analysis results of embedded systems.
| Autor: | Al-Zokari, Y.I., Schneider, D., Zeckzer, D., Guzman, L., Livnat, Y., Hagen, H. |
|---|---|
| Zdroj: | 2011 Federated Conference on Computer Science & Information Systems (FedCSIS); 2011, p783-790, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|