Concerto-D in Maude

Code

Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe et Simon Robillard

Résumé

The Maude formalization of Concerto-D corresponding to the final version of the paper published to ICE 2024

url

Find in HALAfficher

url

Code RepositoryAfficher

1 Consultations de la notice

Titre: Concerto-D in Maude
Créateurs - sans rôle: Farid Arfi - IMT Atlantique
Hélène Coullon - Geo
Frédéric Loulergue - Université d'Orléans
Jolan Philippe - IMT Atlantique
Simon Robillard - Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier
Identifiants: 99152931109311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Code
Champs locaux: hal-04654817
Infos techniques de la description: Version: ice24-final-version; Programming Language: Maude