Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Sébastien Salva

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Une Démarche Pour L’assistance À L’utilisation Des Patrons De Sécurité

Techniques et sciences informatiques
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy