Squiggles - A Tool for the Analysis of LOTOS Specifications

Authors:
Tommaso Bolognesi;Maurizio Caneve
Affiliations:
-;-
Venue:
Proceedings of the First International Conference on Formal Description Techniques
Year:
1988

Citing 0
Cited 3

Making Changes to Formal Specifications: Requirements and an Example

IEEE Transactions on Software Engineering
Equational reasoning about LOTOS specifications: a rewriting approach

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Feature interactions: a mixed semantic model approach

IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract