![](/img/cover-not-exists.png)
[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - Caveat: a tool for software validation
Baudin, P., Pacalet, A., Raguideau, J., Schoen, D., Williams, N.Year:
2002
Language:
english
DOI:
10.1109/DSN.2002.1028953
File:
PDF, 196 KB
english, 2002