A Metalanguage for the Formal Requirement Specification of Reactive Systems

Authors:
Egidio Astesiano;Gianna Reggio
Affiliations:
-;-
Venue:
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Year:
1993

Citing 0
Cited 2

Specifying reactive systems by abstract events

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Very abstract specifications: a formalism independent approach

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract