![](/img/cover-not-exists.png)
[ACM Press the 2nd International Workshop - London, United Kingdom (2010.04.15-2010.04.16)] Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems - SERENCE '10 - Augmenting formal development of control systems with quantitative reliability assessment
Tarasyuk, Anton, Troubitsyna, Elena, Laibinis, LinasYear:
2010
DOI:
10.1145/2401736.2401743
File:
PDF, 946 KB
2010