PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Morzenti, Angelo"

Author of the publication

copydeleteadd this publication to your clipboard
A Logic-Based Approach for the Verification of UML Timed Models.

, , , , and . ACM Trans. Softw. Eng. Methodol., 26 (2): 7:1-7:47 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Morzenti, Angelo
add a person with the name Morzenti, Angelo
 

Other publications of authors with the same name

Generation of Execution Sequences for Modular Time Critical Systems., , and . IEEE Trans. Software Eng., 26 (2): 128-149 (2000)Dealing with Zero-Time Transitions in Axiom Systems., , and . Inf. Comput., 150 (2): 119-131 (1999)TRIO: A logic language for executable specifications of real-time systems., , and . Journal of Systems and Software, 12 (2): 107-123 (1990)Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing., , , , , , , , , and 1 other author(s). IEEE Intell. Transport. Syst. Mag., 6 (3): 96-108 (2014)Formal Languages and Compilation, Second Edition., , and . Texts in Computer Science Springer, (2013)Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis., , , and . FMICS, volume 7437 of Lecture Notes in Computer Science, page 162-176. Springer, (2012)A Metric Encoding for Bounded Model Checking (extended version), , and . CoRR, (2009)Object-Oriented Logical Specification of Time-Critical Systems., and . ACM Trans. Softw. Eng. Methodol., 3 (1): 56-98 (1994)Model-Checking TRIO Specifications in SPIN., , , and . FME, volume 2805 of Lecture Notes in Computer Science, page 542-561. Springer, (2003)A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems., , and . Electron. Notes Theor. Comput. Sci., 82 (6): 121-132 (2003)