Axel Legay
Axel Legay
3 ספרים במאגר
ספרים
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
Formal Modeling and Analysis of Timed SystemsAxel Legay
Formal Modeling and Analysis of Timed Systems
Axel Legay · 2014
ספרים משותפים ואוספים
ספרים שבהם Axel Legay מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Hardware and Software : Verification and TestingValeria Bertacco
Hardware and Software : Verification and Testing
Valeria Bertacco · 2013
Risks and Security of Internet and SystemsFrédéric Cuppens
Risks and Security of Internet and Systems
Frédéric Cuppens · 2022
Automated Technology for Verification and AnalysisCyrille Artho
Automated Technology for Verification and Analysis
Cyrille Artho · 2016
From Programs to Systems - The Systems Perspective in ComputingSaddek Bensalem
From Programs to Systems - The Systems Perspective in Computing
Saddek Bensalem · 2014
Model Checking SoftwareFabrizio Biondi
Model Checking Software
Fabrizio Biondi · 2019