A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification

Saved in:
Bibliographic Details
Published inInternational Journal of Computer and Electrical Engineering
Format Journal Article
LanguageEnglish
Online AccessGet full text
ISSN1793-8163
DOI10.17706/ijcee.2019.11.1.11-19

Cover

More Information
ISSN:1793-8163
DOI:10.17706/ijcee.2019.11.1.11-19