![](/img/cover-not-exists.png)
[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Fault tolerance in a layered architecture: a general specification pattern in B
Laibinis, L., Troubitsyna, E.Year:
2004
Language:
english
DOI:
10.1109/sefm.2004.1347539
File:
PDF, 369 KB
english, 2004