Search for Author All Reviews
	Gargantini, Angelo     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Automated deductive requirements analysis of critical systems Gargantini A., Morzenti A. ACM Transactions on Software Engineering and Methodology 10(3): 255-307, 2001.  Type: Article The authors propose to study the requirements of time- and safety-critical systems via the use of automated deductive analysis. Their method is supported not only by a formal framework, but also by a working tool set. The temporal logi...... May 9 2002     A theory of implementation and refinement in timed Petri nets Felder M., Gargantini A., Morzenti A. Theoretical Computer Science 202(1-2): 127-161, 1998.  Type: Article Academics working with timed Petri nets should look at this mathematical research paper. It shows how nets “implement” temporal (TRIO) logics. The theorems of the implemented logic are properties that the net satisf...... Oct 1 1998
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy