AUTOMATED DEDUCTIVE ANALYSIS OF TIME CRITICAL SYSTEMSBASED ON METHODICAL FORMAL SPECIFICATION 0

@inproceedings{GargantiniAUTOMATEDDA,
  title={AUTOMATED DEDUCTIVE ANALYSIS OF TIME CRITICAL SYSTEMSBASED ON METHODICAL FORMAL SPECIFICATION 0},
  author={Angelo Gargantini and Angelo Morzenti}
}

Figures from this paper.

Citations

Publications citing this paper.

Automated deductive requirements analysis of critical systems

  • ACM Trans. Softw. Eng. Methodol.
  • 2001
VIEW 1 EXCERPT
CITES METHODS