( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.

, , , и . MSVVEIS, стр. 74-83. INSTICC PRESS, (2007)

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.

Juan Antonio Estada

Juan Antonio Monroy

Juan Antonio Ennis

Juan Antonio Pajarin Rodriguez

Juan Antonio Diaz Gonzalez

 

Другие публикации лиц с тем же именем

An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T., , , и . MSVVEIS, стр. 74-83. INSTICC PRESS, (2007)CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code., , , и . MSVVEIS, стр. 128-133. INSTICC Press, (2006)A Framework for the Development of Smart Ubiquitous Real-Time Systems Based on the Internet of Agents and Internet of Services Approaches., и . Intelligent Environments (Workshops), том 21 из Ambient Intelligence and Smart Environments, стр. 76-85. IOS Press, (2016)mHealthDroid: A Novel Framework for Agile Development of Mobile Health Applications., , , , , , , и . IWAAL, том 8868 из Lecture Notes in Computer Science, стр. 91-98. Springer, (2014)A Componentizable Server-Side Framework for Building Remote and Virtual Laboratories., и . Int. J. Online Eng., 8 (S4): 43-51 (2012)ADELE: A Middleware for Supporting the Evolution of Multi-agents Systems Based on a Metaprogramming Approach., и . PAAMS (Special Sessions), том 473 из Advances in Intelligent Systems and Computing, стр. 297-310. Springer, (2016)AMon: A Monitoring Multidimensional Feature Application to Secure Android Environments., , , , , и . SP (Workshops), стр. 31-36. IEEE, (2021)Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models., и . ICEIS (3), стр. 65-72. (2005)Towards sustainability in multi-modal urban planners., , , и . ICCVE, стр. 492-497. IEEE, (2014)A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models., , , и . Sci. Comput. Program., 65 (1): 41-56 (2007)