5,048 followers
RT @MuazNiazi: A Formal Specification Framework for Smart Grid Components https://t.co/DCpp96QBbV #smartgrids #smartgrid #IoT #formalmetho…
RT @MuazNiazi: A Formal Specification Framework for Smart Grid Components https://t.co/DCpp96QBbV #smartgrids #smartgrid #IoT #formalmetho…
A Formal Specification Framework for Smart Grid Components https://t.co/DCpp96QBbV #smartgrids #smartgrid #IoT #formalmethods @SpringerCompSci @SpringerOpen @Open_access