Failures semantics based on interval semiwords is a convergence for refinement

Authors:
Walter Vogler
Affiliations:
-
Venue:
STACS 90 Proceedings of the seventh annual symposium on Theoretical aspects of computer science
Year:
1990

Citing 0
Cited 2

Analyzing refinements of state based specifications: the case of TB nets

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
On using syntactic action refinement to derive compositionally a timed efficient implementation

FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement

Quantified Score

Hi-index	0.00

Visualization

Abstract