Formal Specification
Formal Specification
Greg Kulczycki,Murali Sitaraman,Kimberly Roche,N. Yasmin
2008 · DOI: 10.1002/9780470050118.ecse161
32 Citations
TLDR
The subtype of messages is the subtype of BusMsg .
Formal Specification
Greg Kulczycki,Murali Sitaraman,Kimberly Roche,N. Yasmin
The subtype of messages is the subtype of BusMsg .