A Formal Framework for ASTRAL Intra-Level Proof Obligations

Authors:
Alberto Coen-Porisini;Dino Mandrioli
Affiliations:
-;-
Venue:
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Year:
1993

Citing 0
Cited 2

The composability of ASTRAL realtime specifications

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract