We stand with Ukraine  

Charles Dramé-Maigné

According to our database1, Charles Dramé-Maigné authored at least 1 paper in 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems.
[BibTeX]
[DOI]
Baptiste Pelletier
,
Charles Lesire
,
David Doose
,
Karen Godary-Dejean
,
Charles Dramé-Maigné
Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022


  Loading...