Dealing with zero-time transitions in axiom systems

Authors:
Angelo Gargantini;Dino Mandrioli;Angelo Morzenti
Affiliations:
Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy;Politecnico di Milano, Milan, Italy
Venue:
Information and Computation
Year:
1999

Citing 0
Cited 2

Automated deductive requirements analysis of critical systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling time in computing: A taxonomy and a comparative survey

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract