Lotos specifications, their implementations and their tests

Authors:
Ed Brinksma;Giuseppe Scollo;Chris Steenbergen
Affiliations:
-;-;-
Venue:
Conformance testing methodologies and architectures for OSI protocols
Year:
1995

Citing 0
Cited 3

Task Model Refinement with Meta Operators

Interactive Systems. Design, Specification, and Verification
A theory of contracts for Web services

ACM Transactions on Programming Languages and Systems (TOPLAS)
Conformance relations for labeled event structures

TAP'12 Proceedings of the 6th international conference on Tests and Proofs

Quantified Score

Hi-index	0.00

Visualization

Abstract