Explore projects

View M3105 project

Bouchaïb Lemaire / M3105

Supports pour le module M3105

0

Updated Dec 07, 2021

0 0 0 0

Updated Dec 07, 2021
View Transformation AMAS project

PARTIES / publications / Transformation AMAS

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

0

Updated Jul 19, 2020

0 0 0 0

Updated Jul 19, 2020
View mariotel project

Antoine Rozenknop / mariotel
Other

0

Updated Sep 21, 2022

0 1 0 0

Updated Sep 21, 2022
View rtm-strategies project

real-time maude / rtm-strategies

0

Updated Feb 20, 2025

0 0 0 0

Updated Feb 20, 2025
View GitLab CI Configs project

Stefano Guerrini / GitLab CI Configs

gitlab-ci.yml configuration files

0

Updated Mar 25, 2025

0 0 0 0

Updated Mar 25, 2025
View Tool Symbolic Observation Graph-Based Generation of Test Paths project

Yasmine Chouikha / Tool Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Nov 23, 2022

0 0 1 0

Updated Nov 23, 2022
View rt-strategies project

real-time maude / rt-strategies

0

Updated Mar 15, 2024

0 0 0 0

Updated Mar 15, 2024
View Thread-SOG project

PMC-SOG / Thread-SOG
GNU General Public License v3.0 only

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
View BuDDy project

GoSup / BuDDy

This is a copy of the BuDDy library.

0

Updated Dec 09, 2021

0 0 0 0

Updated Dec 09, 2021
View Opacity_Supervision project

Nour Souid / Opacity_Supervision

Reinforce the opacity of a DES using the SCT

0

Updated Oct 22, 2021

0 0 0 0

Updated Oct 22, 2021
View tutoriel project

Marisol Rodriguez / tutoriel

0

Updated Mar 26, 2018

0 0 0 0

Updated Mar 26, 2018
View first-approach project

Yasmine Chouikha / first-approach

0

Updated Jan 24, 2023

0 0 0 0

Updated Jan 24, 2023
View sbench project

Jaime Arias / sbench
GNU General Public License v3.0 or later

repository of the sbench python package

0

Updated Nov 04, 2021

0 0 0 0

Updated Nov 04, 2021
View geolocalisation project

Davide Buscaldi / geolocalisation

0

Updated Sep 08, 2020

0 0 0 0

Updated Sep 08, 2020
View service romeo project

cosyverif / Services / service romeo
GNU General Public License v3.0 or later

0

Updated Apr 10, 2024

0 0 0 0

Updated Apr 10, 2024
View jim2024 project

reactiveIS / artefacts / jim2024

0

Updated Feb 19, 2025

0 0 0 0

Updated Feb 19, 2025
View pitpn2maude project

real-time maude / pitpn2maude

0

Updated Dec 08, 2023

0 0 0 2

Updated Dec 08, 2023
View Tinyxml2 project

GoSup / Tinyxml2
zlib License

This is a copy of TinyXML2 parser

0

Updated Jan 17, 2022

0 0 0 0

Updated Jan 17, 2022
View Profiling for StarPU project

Camille Coti / Profiling for StarPU
GNU Lesser General Public License v2.1 only

0

Updated Sep 30, 2022

0 0 0 0

Updated Sep 30, 2022
View PISTACHE_V0 project

Hana RIAHI / PISTACHE_V0

0

Updated May 16, 2024

0 0 0 0

Updated May 16, 2024