Practical Verification of Safety-critical Systems الإنجليزية (Q3510063)
doctoral thesis by Stuart Pernsteiner, Computer Science & Engineering, University of Washington, 2018 الإنجليزية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
لا يوجد وصف |
|
الإنجليزية | Practical Verification of Safety-critical Systems |
doctoral thesis by Stuart Pernsteiner, Computer Science & Engineering, University of Washington, 2018 |
بيانات
Wikidata item الإنجليزية
full work available at URL الإنجليزية
inception الإنجليزية
author الإنجليزية
number of pages الإنجليزية
title الإنجليزية
Practical Verification of Safety-critical Systems (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
language of work or name الإنجليزية
instance of الإنجليزية