Development of a method for synthesising models of real-time software systems - Kuchuk, N. G.; Shyman, A. P.; Shyman, M. V. (Impress, 2024)
Keywords: method for synthesising models; Petri nets; hierarchical modeling