رسالة جامعية
A formal approach to embedded high-integrity real-time systems
| العنوان: | A formal approach to embedded high-integrity real-time systems |
|---|---|
| المؤلفون: | Naeser, Gustaf |
| مصطلحات موضوعية: | Realtidssystem, Inbyggda system, Computer programs -- Testing |
| Degree: | Diss. Västerås : Mälardalens högskola, 2005 |
| قاعدة البيانات: | Swedish National Bibliography |
| ردمك: | 9188834891 |
|---|