( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Access Control in Statecharts.

, , , и . ECEASST, (2011)

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.

Gonzalo Lucioni

Marianna Lucio

Ricardo Lucio Alvarez

Paul Levi

Thomas Levi

 

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

Structure and behavior preserving statecharts refinements., , и . Sci. Comput. Program., (2019)DSL Composition for model-based test generation., , , , и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2009)Debugging of Model Transformations and Contracts in SyVOLT., , , и . MoDELS (Workshops), том 2245 из CEUR Workshop Proceedings, стр. 532-537. CEUR-WS.org, (2018)Technology of Test-Case Generation., и . Model-Based Testing of Reactive Systems, том 3472 из Lecture Notes in Computer Science, стр. 323-354. Springer, (2004)DSLTrans: A Turing Incomplete Transformation Language., , , , и . SLE, том 6563 из Lecture Notes in Computer Science, стр. 296-305. Springer, (2010)A Test Language for CO-OPN Specifications., , и . IEEE International Workshop on Rapid System Prototyping, стр. 195-201. IEEE Computer Society, (2005)Formalizing EARS - First Impressions., и . EARS@RE, стр. 11-13. IEEE, (2018)Model transformation intents and their properties., , , , , , , и . Softw. Syst. Model., 15 (3): 647-684 (2016)Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective, , , , , , , и . IFAC-PapersOnLine, 52 (13): 1590-1596 (2019)9th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2019.Full contract verification for ATL using symbolic execution., , , и . Softw. Syst. Model., 17 (3): 815-849 (2018)