The derivation of conformance tests from LOTOS specifications

Publisher Website

1 January 1990

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. 16 (12) , 1337-1343
https://doi.org/10.1109/32.62442

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Introduction to the ISO specification language LOTOS
Published by Elsevier ,2003
Fundamentals of Algebraic Specification 1
Published by Springer Nature ,1985
Testing equivalences for processes
Theoretical Computer Science, 1984
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980