Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Serge Haddad
New Coloured Reductions for Software Validation
IFAC Proceedings Volumes
CSL^TA: An Expressive Logic for Continuous-Time Markov Chains
‹
1
2
Related publications
Dimensional Reductions of a Cardiac Model for Effective Validation and Calibration
Biomechanics and Modeling in Mechanobiology
Modeling
Biotechnology
Mechanical Engineering
Simulation
Software Validation in ATLAS
Journal of Physics: Conference Series
Astronomy
Physics
Automatic Software Validation Process
Runtime Validation of Behavioural Contracts for Component Software
Being Coloured and Looking Coloured
Canadian Journal of Philosophy
Philosophy
Validation of New Features in Applied BiosystemsTM 3500 Series Data Collection Software Version 4 for Forensic STR Typing
Japanese Journal of Forensic Science and Technology
Verification and Validation of AI Software
Quantifying Software Validation: When to Stop Testing?
IEEE Software
Software
Source Address Validation in Software Defined Networks
