The Formal Basis for the RAISE Specification Language
Authors:
Robert Milne
Affiliations:
-
Venue:
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
Year:
1993
Citing
0
Cited
1
Applicative modelling with RAISE
Domain modeling and the duration calculus
Quantified Score
Hi-index
0.00
Visualization
Abstract