Formal Methods in Outer Space

Ediciones (1)

• Formal Methods in Outer Space (2021)

  Springer International Publishing AG · inglés · ISBN 9783030873479

Más obras de Ezio Bartocci

Lectures on Runtime Verification

From Reactive Systems to Cyber-Physical Systems