Browsing by Author FERIGATO Carlo

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 9 of 9
Publication YearJRC N°TitleAuthor(s), Editor(s), Other Contributor(s)Publication Type
2010JRC56738An application of the Communication Disciplines of C. A. Petri to the analysis and design of a communication systemFERIGATO Carlo; GUSMINI MassimilianoContributions to Conferences
2014JRC78189Closed Sets in Occurrence Nets with ConflictsBERNARDINELLO Luca; FERIGATO Carlo; HAAR Stefan; POMELLO LuciaArticles in Journals
2009JRC52412Closure operators associated to partially ordered setsBERNARDINELLO Luca; FERIGATO Carlo; POMELLO Lucia; ROMBOLÀ StefaniaContributions to Conferences
2012JRC70067Design of a Controlled Language for Critical Infrastructures ProtectionCANTARELLA SIMONA; FERIGATO Carlo; OWUSU EVANS BOATENGContributions to Conferences
2012JRC59332Inference of Local Properties in Petri Nets Composed through an InterfaceFERIGATO Carlo; MANGIONI ElisabettaContributions to Conferences
2009JRC48323Petri Net Security Checker: Structural Non-interference at WorkFRAU Simone; GORRIERI Roberto; FERIGATO CarloContributions to Conferences
2010JRC57466Proceedings of the first JRC-Turkey workshop on ICT securityATAY Serap; KOLTUKSUZ Ahmet; FERIGATO CarloBooks
2009JRC48348Role of Thesauri in a Scientific OrganizationFERIGATO Carlo; MERLO Giuseppe; PANFILI Daniela; RODIGHIERO DarioContributions to Conferences
2012JRC76516A Taxonomy for Incidents in Communication SystemsFERIGATO Carlo; GLIGORIJEVIC SASAEUR - Scientific and Technical Research Reports