Advancements in runtime enforcement frameworks : finite memory, compositional approaches and practical applications /
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
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