Amina Mekki-Mokhtar

According to our database¹, Amina Mekki-Mokhtar authored at least 2 papers in 2012.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2012

Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques. (Specification of online verifiable safety constraints for critical autonomous systems).

[BibT_eX]

[DOI]

Amina Mekki-Mokhtar

PhD thesis, 2012

Safety Trigger Conditions for Critical Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

Amina Mekki-Mokhtar

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...