Charles Dramé-Maigné

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2022

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems.

[BibT_eX]

[DOI]

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

Charles Dramé-Maigné

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...