Skip to content

Home
Members
Research
- Research lines
- Research projects
Tools
Blogs
Let’s work together

Nothing Found

It seems we can’t find what you’re looking for. Perhaps searching can help.

Search for:

Our Recent Posts

A DSL to define UCON security policies
A Modeling Editor and Code Generator for message-driven architectures with AsyncAPI
Modeling, verifying and generating embedded software with Dezyne
Diverse scenario exploration in model finders using graph kernels and clustering
From informal to formal modeling

Internet Interdisciplinary Institute
Av. Carl Friedrich Gauss, 5. Building B3
08860 Castelldefels

jordi.cabot@icrea.cat

Facebook link
Twitter link
Dribble link

Zerif Lite developed by ThemeIsle