Search results for: Alexei Iliasov
Lecture Notes in Computer Science > Advanced Topics in Exception Handling Techniques > Pervasive Computing Systems > 181-199
Lecture Notes in Computer Science > Software Engineering for Resilient Systems > Formal Modelling and Verification > 9-23
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Fault Tolerant Applications > 297-323
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The DEPLOY Project > 70-88
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 168-188
Lecture Notes in Computer Science > Software Engineering for Multi-Agent Systems V > Fault Tolerance > 21-40
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 241-260
IEEE Transactions on Computers > 2014 > 63 > 6 > 1552 - 1566
Science of Computer Programming > 2013 > 78 > 7 > 884-905