Login / Signup
Charles Dramé-Maigné
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Uncertain Environments
Autonomous Systems
Ims Ld
Service Composition
Top Venues
FMAS/ASYDE@SEFM
</>
Publications
</>
Baptiste Pelletier
,
Charles Lesire
,
David Doose
,
Karen Godary-Dejean
,
Charles Dramé-Maigné
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems.
FMAS/ASYDE@SEFM
(2022)