Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Romain Jobredeaux
Formal Analysis of Robustness at Model and Code Level
Related publications
A Basis for Formal Robustness Checking
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ghana and Indonesia: Reforms in Non-Formal Education at the Community Level
Prospects
Education
Robustness Analysis of Model Parameters for Sediment Transport Equation Development
ASM Science Journal
Multidisciplinary
Formal Analysis of a Model for Electronic Payment Systems
Curriculum Analysis of Food Safety Competences at Elementary and Upper-Secondary Level of Formal Education Inside Food-Related Programs in Slovenia
Journal of Food Science Education
Education
Food Science
Data Analysis at Level-1 Trigger Level
Robustness of the Prediction Filter in Differential Pulse Code Modulation System
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
UVHM: Model Checking Based Formal Analysis Scheme for Hypervisors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
