Amanote Research
Register
Sign 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 Science
Theoretical Computer Science
Une Démarche Pour L’assistance À L’utilisation Des Patrons De Sécurité
Techniques et sciences informatiques
Related publications
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Formal Model Based Specification of Authorization Framework for Ubiquitous Enterprise Computing Environment
International Journal of Computer Applications
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Statistical Physics-Based Framework and Bayesian Inference for Model Selection and Uncertainty Quantification
Microscopy and Microanalysis
Instrumentation
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
A Layered Formal Framework for Modeling of Cyber-Physical Systems
Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
An Ocarina Extension for AADL Formal Semantics Generation
Model-Based Channel Estimation Framework for MIMO Multicarrier Communication Systems
IEEE Transactions on Wireless Communications
Electronic Engineering
Applied Mathematics
Computer Science Applications
Electrical
