Lectures on Runtime VerificationEzio Bartocci
Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone · 2018
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2018
- הוצאה
- Springer
- מהדורות
- 3
- עמודים
- 244
- ISBN
- 9783319756318
מקור הנתונים: Wikidata
עוד של Ezio Bartocci
Model Checking SoftwareEzio Bartocci
Model Checking Software
Ezio Bartocci · 2013
Runtime VerificationEzio Bartocci
Runtime Verification
Ezio Bartocci · 2015
Formal Methods in Outer SpaceEzio Bartocci
Formal Methods in Outer Space
Ezio Bartocci · 2021
From Reactive Systems to Cyber-Physical SystemsEzio Bartocci
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci · 2019
Computational Methods in Systems BiologyEzio Bartocci
Computational Methods in Systems Biology
Ezio Bartocci · 2016