Formalization of UML state machines using temporal logic

Author： Rossi Carlos   Enciso Manuel   de Guzmán Inmaculada P.  

Publisher： Springer Publishing Company

ISSN： 1619-1366

Source： Software and Systems Modeling (SoSyM), Vol.3, Iss.1, 2004-03, pp. : 31-54

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Model Checking UML State Machines and Collaborations

By Schafer T.   Knapp A.   Merz S.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. : 1-13

Elsevier

Access to resources Recommend Favorite

Formalization of UML Composition in OCL

By  

International Journal of Software Innovation (IJSI), Vol. 1, Iss. 1, 2013-01 ,pp. : 26-40

IGI Global_journal

Access to resources Recommend Favorite

Graded State Machines: The Representation of Temporal Contingencies in Simple Recurrent Networks

By Servan-Schreiber D.   Cleeremans A.   McClelland J.L.  

Machine Learning, Vol. 7, Iss. 2-3, 1991-09 ,pp. : 161-193

Springer Publishing Company

Access to resources Recommend Favorite

Verification of reactive systems using temporal logic with clocks

By Liu C.   Orgun M.A.  

Theoretical Computer Science, Vol. 220, Iss. 2, 1999-06 ,pp. : 377-408

Elsevier

Access to resources Recommend Favorite

Cognitive Processes by Using Finite State Machines

By  

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Iss. 3, 2007-07 ,pp. : 52-65

IGI Global_journal

Access to resources Recommend Favorite