Author:
Aouadi Syrine,Lanoix Arnaud
Publisher
Springer International Publishing
Reference33 articles.
1. Motwani, R., Raghavan, P.: Randomized Algorithms. Chapman & Hall/CRC, Boca Raton (2010)
2. Abrial, J.R., Cansell, D., Méry, D.: A mechanically proved and incremental development of IEEE 1394 tree identify protocol. Form. Asp. Comput. 14(3), 215–227 (2003)
3. Villemeur, A.: Reliability, Availability, Maintainability and Safety Assessment: Assessment, Hardware, Software and Human Factors, vol. 2. Wiley, Hoboken (1992)
4. Chu, W.W., Sit, C.M.: Estimating task response time with contentions for real-time distributed systems. In: Proceedings of the Real-Time Systems Symposium, pp. 272–281. IEEE (1988)
5. Trivedi, K.S., Ramani, S., Fricks, R.: Recent advances in modeling response-time distributions in real-time systems. Proc. IEEE 91(7), 1023–1037 (2003)