Specification of Realtime Systems Using ASTRAL

Academic Article

Publication Date:

1997

Iris type:

Articolo su Rivista

List of contributors:

COEN PORISINI, Alberto; Ghezzi, C.; Kemmerer, R.

Authors of the University:

COEN PORISINI ALBERTO

Handle:

https://irinsubria.uninsubria.it/handle/11383/9696

Published in:

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Journal