Shankar, Saumya. <br/><br/>
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. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Finite element.
<br/><br/><label>Dewey Class. No.: </label>004.2  / SHA/A