The syntax and semantics of vspec, a larch/vhdl interface specification language

Authors:
Perry Alexander;Phillip W. Baraona
Affiliations:
-;-
Venue:
The syntax and semantics of vspec, a larch/vhdl interface specification language
Year:
1998

Citing 0
Cited 2

VSPEC constraints modeling and evaluation

ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Using automatable proof obligations for component-based design checking

ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems

Quantified Score

Hi-index	0.00

Visualization

Abstract