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

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: circulation.library@iitbbs.ac.in (For circulation related queries),
Email: info.library@iitbbs.ac.in (For other queries)

Powered by Koha