Publications

Export 2 results:
Sort by: Author Title Type [ Year (Desc)]
2018
Wisniewski, Remigiusz, Andrei Karatkevich, Marian Adamski, Anikó Costa, and Luís Gomes. "Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs." {IEEE} Trans. Contr. Sys. Techn.. 26 (2018): 575-586. AbstractWebsite

n/a

2011
Barbosa, Paulo E. S., João Paulo Barros, Franklin Ramalho, Lu{\'ı}s Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, and André Aranha. "SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design." Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings. 2011. 256-265. Abstract
n/a