Explore projects

G

AREZKI HAFID / GTM_LIPN

0

Updated Sep 18, 2018

0 1 1 0

Updated Sep 18, 2018
P

PMC-SOG / pmc-sog

0

Updated Feb 01, 2019

0

Updated Feb 01, 2019
A

Hadhami OUNI / Approche_ML_1

0

Updated Jul 17, 2024

0 0 0 0

Updated Jul 17, 2024
P

Hana RIAHI / PISTACHE_V0

0

Updated May 16, 2024

0 0 0 0

Updated May 16, 2024
B

PMC-SOG / Buddy
Other

0

Updated Jan 14, 2023

0 0 0 0

Updated Jan 14, 2023
J

reactiveIS / artefacts / jim2024

0

Updated Feb 26, 2024

0 0 0 0

Updated Feb 26, 2024
T

PMC-SOG / experiments / test-paths

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Jun 24, 2024

0 0 0 0

Updated Jun 24, 2024
S

PMC-SOG / sogMBT
GNU General Public License v3.0 or later

Symbolic Observation Graph-Based Generation of Test Paths

0

Updated Apr 09, 2024

0 0 0 0

Updated Apr 09, 2024
S

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

0

Updated Apr 10, 2024

0 0 0 0

Updated Apr 10, 2024
P

Sami Evangelista / pompet

Partial Order Model checker for PETri nets

0

Updated Sep 20, 2024

0 0 0 0

Updated Sep 20, 2024
P

Jorge Garcia flores / page_perso_lipn

0

Updated Oct 05, 2023

0 1 0 0

Updated Oct 05, 2023
G

Hadhami OUNI / Global approach

0

Updated May 13, 2024

0 0 0 0

Updated May 13, 2024
workshops / syncop24

Website of the Workshop SynCoP 2024

0

Updated Apr 10, 2024

0 0 0 0

Updated Apr 10, 2024
S

Mehdi Naima / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
S

cosyverif / Services / service adt2amas

0

Updated Apr 10, 2024

0 0 0 1

Updated Apr 10, 2024
A

Franck Butelle / APD

Dépôt pour les TPs APD

0

Updated Nov 20, 2020

0 0 0 0

Updated Nov 20, 2020
A

Julien David / AlgoDuTexte

0

Updated Feb 01, 2021

0 0 0 0

Updated Feb 01, 2021
M

Bouchaïb Lemaire / m3106

0

Updated Dec 07, 2021

0 0 0 0

Updated Dec 07, 2021
T

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

0

Updated Nov 23, 2022

0 0 1 0

Updated Nov 23, 2022
S

Ikram GARFATTA / sol2cpn
GNU General Public License v3.0 or later

0

Updated Oct 07, 2021

0 0 0 0

Updated Oct 07, 2021