Real-time specification and modeling with joint actions

Authors:
Reino Kurki-Suonio;Kari Systä;Jüri Vain
Affiliations:
-;-;-
Venue:
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Year:
1993

Citing 0
Cited 2

Stepwise design of real-time systems

SIGSOFT '91 Proceedings of the conference on Software for citical systems
Action systems in incremental and aspect-oriented modeling

Distributed Computing - Papers in celebration of the 20th anniversary of PODC

Quantified Score

Hi-index	0.00

Visualization

Abstract