From Reactive Systems to Cyber-Physical SystemsEzio Bartocci

From Reactive Systems to Cyber-Physical Systems

Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky · 2019

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2019
הוצאה: Springer
מהדורות: 1
עמודים: 317
ISBN: 9783030315139

מקור הנתונים: 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

Lectures on Runtime VerificationEzio Bartocci

Lectures on Runtime Verification

Ezio Bartocci · 2018

Computational Methods in Systems BiologyEzio Bartocci

Computational Methods in Systems Biology

Ezio Bartocci · 2016