Shankar, Saumya.
Advancements in runtime enforcement frameworks : finite memory, compositional approaches and practical applications /
by Saumya Shankar.
- Bhubaneswar : IIT Bhubaneswar, 2024.
- xxii, 161 p. : ill. ; 28 cm.
Finite element.
004.2 / SHA/A