Total Books: 1 - 2 /2
Discrete, Continuous, and Hybrid Petri Nets
The book is a scientific monograph as well as a didactic tutorial which is easy to understand due to many exercises with ...
Weiterlesen
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Weiterlesen
Total Books: 1 - 2 /2
