![](/img/cover-not-exists.png)
[IEEE Comput. Soc International Parallel and Distributed Processing Symposium (IPDPS 2003) - Nice, France (22-26 April 2003)] Proceedings International Parallel and Distributed Processing Symposium - Integrating safety analysis into formal specification of dependable systems
Troubitsyna, E.Year:
2003
Language:
english
DOI:
10.1109/ipdps.2003.1213394
File:
PDF, 312 KB
english, 2003