Formal Verification of Behavioural Transformations during Embedded System Design http://127.0.0.1/xmlui/handle/123456789/1578 2026-04-18T06:31:53Z 2026-04-18T06:31:53Z Formal Verification of Behavioural Transformations during Embedded System Design Karfa, Chandan http://127.0.0.1/xmlui/handle/123456789/1579 2015-06-01T11:05:28Z 2012-06-01T00:00:00Z Formal Verification of Behavioural Transformations during Embedded System Design Karfa, Chandan 2012-06-01T00:00:00Z