Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis http://127.0.0.1/xmlui/handle/123456789/5541 2026-04-17T13:36:13Z 2026-04-17T13:36:13Z Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis Hazra, Aritra http://127.0.0.1/xmlui/handle/123456789/5542 2015-11-17T05:44:04Z 2015-03-01T00:00:00Z Formal Methods for Architectural Power Intent Verification and Functional Reliability Analysis Hazra, Aritra 2015-03-01T00:00:00Z