دانلود کتاب Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
by Flaviu Cristian (auth.), Bengt Jonsson, Joachim Parrow (eds.)
|
عنوان فارسی: تکنیک های رسمی در زمان واقعی و سیستم های تحمل پذیر خطا: 4 سمپوزیوم بین المللی اوپسالا، سوئد، 09-13 سپتامبر، 1996 مقالات |