Coding challenge for itemis. Solution for problem 1
-
Updated
Oct 11, 2022 - C#
#
itemis
Here are 3 public repositories matching this topic...
Proyecto final del Taller de Sistemas Embebidos de la FIUBA
-
Updated
Aug 13, 2025 - C
Collection of different tasks implemented in the context of Formal Methods for Computer Science. We explore Finite State Machine, State Charts and NuSMV for formal model checking. In addition we also explore the Petri Nets in the context of Process Mining.
finite-state-machine formal-methods petri-nets model-checker process-mining state-charts pm4py itemis nusmv-model-checker llm
-
Updated
Feb 28, 2025 - Jupyter Notebook
Improve this page
Add a description, image, and links to the itemis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the itemis topic, visit your repo's landing page and select "manage topics."