T-VEC: a tool for developing critical systems.
| Autor: | Blackburn, M.R., Busser, R.D. |
|---|---|
| Zdroj: | Proceedings of 11th Annual Conference on Computer Assurance COMPASS '96; 1996, p237-249, 13p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Blackburn, M.R., Busser, R.D. |
|---|---|
| Zdroj: | Proceedings of 11th Annual Conference on Computer Assurance COMPASS '96; 1996, p237-249, 13p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|