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
TRIO: A logic language for executable specifications of real-time systems.

, , and . Journal of Systems and Software, 12 (2): 107-123 (1990)

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

Formal Languages and Compilation, Second Edition., , and . Texts in Computer Science Springer, (2013)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)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)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)Dealing with Zero-Time Transitions in Axiom Systems., , and . Inf. Comput., 150 (2): 119-131 (1999)Generation of Execution Sequences for Modular Time Critical Systems., , and . IEEE Trans. Software Eng., 26 (2): 128-149 (2000)TRIO: A logic language for executable specifications of real-time systems., , and . Journal of Systems and Software, 12 (2): 107-123 (1990)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)