Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS
Series
Identifier:
E225472
ISSN:
1935-4576
Overview
Overview
Outputs (3)
An integrated framework for Model-based Design and Verification of discrete automation solutions
Conference Paper
Developing Intentional Systems with the PRACTIONIST Framework
Academic Article
Policy implementation check in industrial networks
Conference Paper
No Results Found
