Formal Techniques for Distributed Objects, Components, and Systems

Ediciones (1)

• Formal Techniques for Distributed Objects, Components, and Systems (2022)

  Springer International Publishing AG · inglés · ISBN 9783031086786

Más obras de Mohammad Reza Mousavi

Modeling and Analysis of Communicating Systems

Formal Methods : Foundations and Applications