This paper focuses on the applicability of a machine-executable specification, specifically the IEEE Futurebus+ Specification, towards a modeling methodology that makes interoperability analysis an inherent part of system design and validation.<>
Futurebus+ as a machine-executable specification promotes interoperability
1994-01-01
179954 byte
Conference paper
Electronic Resource
English
Futurebus - as a Machine Executable Specification Promotes Interoperability
British Library Conference Proceedings | 1994
|An Illustration of Specification Modeling with VHDL Using a Futurebus - Model
British Library Conference Proceedings | 1994
|Executable specification-based system engineering
IEEE | 2011
|