( en | de | ru )

 

Disambiguierung von "Lucio, Levi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective

, , , , , , , und . IFAC-PapersOnLine, 52 (13): 1590-1596 (2019)9th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2019.
DOI: https://doi.org/10.1016/j.ifacol.2019.11.427

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gonzalo Lucioni

Marianna Lucio

Ricardo Lucio Alvarez

Paul Levi

Thomas Levi

 

Weitere Publikationen von Autoren mit dem selben Namen

Structure and behavior preserving statecharts refinements., , und . Sci. Comput. Program., (2019)Technology of Test-Case Generation., und . Model-Based Testing of Reactive Systems, Volume 3472 von Lecture Notes in Computer Science, Seite 323-354. Springer, (2004)Debugging of Model Transformations and Contracts in SyVOLT., , , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 532-537. CEUR-WS.org, (2018)A Test Language for CO-OPN Specifications., , und . IEEE International Workshop on Rapid System Prototyping, Seite 195-201. IEEE Computer Society, (2005)Formalizing EARS - First Impressions., und . EARS@RE, Seite 11-13. IEEE, (2018)DSLTrans: A Turing Incomplete Transformation Language., , , , und . SLE, Volume 6563 von Lecture Notes in Computer Science, Seite 296-305. Springer, (2010)Il Manifesto di Ventotene, , und . Mondadori, Milano, (2006)Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective, , , , , , , und . 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., , , und . Softw. Syst. Model., 17 (3): 815-849 (2018)Summary of the First Workshop on the Analysis of Model Transformations (AMT 2012)., , , und . AMT@MoDELS, Seite 1-2. ACM, (2012)