Search results for: Alain Girault
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 279-293
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 215-230
Lecture Notes in Computer Science > Embedded Software > 266-281
Lecture Notes in Computer Science > Embedded Software > Regular Papers > 206-222
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 492-502
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Markov Chains and Real-Time Systems > 185-200
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 325-340
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 10: Optimization Methods > 437-451
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Fault Detection and Toleration > 83-92
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Fault Detection and Toleration > 83-92
IEEE Transactions on Computers > 2014 > 63 > 7 > 1600 - 1612