Formal Modeling and Analysis of Timed SystemsAxel Legay

Formal Modeling and Analysis of Timed Systems

Axel Legay, Marius Bozga · 2014

איפה לקנות

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

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

פרטי הספר

שנה: 2014
שפה: English
הוצאה: Springer London, Limited
מהדורות: 2
עמודים: 253
ISBN: 9783319105123

מקור הנתונים: Wikidata

עוד של Axel Legay

Runtime VerificationAxel Legay

Runtime Verification

Axel Legay · 2013

Tools and Algorithms for the Construction and Analysis of SystemsAxel Legay

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay · 2017