timed
-
Formal Modeling and Analysis of Timed Systems (2024)
Free Download Sergiy Bogomolov, David Parker, "Formal Modeling and Analysis of Timed Systems" English | 2022 | ISBN: 3031158385 | PDF | pages: 315 | 9.0 mb This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems...- book24h
- Téma
- analysis formal modeling systems timed
- Válaszok: 0
- Fórum: Külföldi könyvek