Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jean-françois Pradat-peyre

New Coloured Reductions for Software Validation

IFAC Proceedings Volumes

English

Related publications

Dimensional Reductions of a Cardiac Model for Effective Validation and Calibration

Biomechanics and Modeling in Mechanobiology

Mechanical Engineering

English

Software Validation in ATLAS

Journal of Physics: Conference Series

English

Automatic Software Validation Process

English

Runtime Validation of Behavioural Contracts for Component Software

English

Being Coloured and Looking Coloured

Canadian Journal of Philosophy

English

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

English

Verification and Validation of AI Software

English

Quantifying Software Validation: When to Stop Testing?

English

Source Address Validation in Software Defined Networks

English