2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Grygoriy Zholtkevych, Maksym Labzhaniia
Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifyin…