ePrints

Formal Methods for Stochastic Cyber-Physical Systems

Lookup NU author(s): Dr Abolfazl Lavaei

Downloads

Full text is not currently available for this publication.

Publication metadata

Author(s): Lavaei A, Abate A

Publication type: Authored Book

Publication status: In Press

Year: 2023

Acceptance date: 01/09/2023

Publisher: Cambridge University Press, book proposal accepted

Place Published: Cambridge

Share