Ressources documentaires
Ressources documentaires

Appuyez-vous sur l'expertise technique et scientifique de référence

En savoir plus

Les domaines d'expertise
Solutions
Parcours Pratiques

La solution rapide et efficace pour monter en compétence grâce à nos outils pratiques et nos quiz

En savoir plus
La plateforme IA dédiée à l’industrie, alimentée par les contenus Techniques de l’Ingénieur.

En savoir plus
Magazine d'Actualité
Magazine d'Actualité

Découvrez gratuitement toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie.

Toute l'actualité
Les dossiers
de la rédaction Les livres blancs Les conférences
en ligne
À la une

8 octobre 2026 L’optogénétique ouvre la voie au contrôle des cellules par la lumière

8 octobre 2026 « Choc chinois 2.0 » : quels secteurs français sont les plus exposés ?

7 octobre 2026 Du cœur des molécules aux confins de l'Univers, les Nobel 2026 repoussent les limites de l'observation
Contenus gratuits

Se connecter

Vous n'avez pas encore de compte ?

Inscrivez-vous !

Créer un compte

Accueil Auteurs COTTIN Jean-Philippe

Annuaire auteurs

Jean-Philippe COTTIN

12 octobre 1995

H2550
Développement et validation de logiciels. Méthodes formelles

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

L’expertise technique et scientifique de référence

Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique.

Ressources documentaires

Nos offres thématiques rassemblent plus de 10 000 articles scientifiques et techniques, validés et mis à jour par nos comités d'experts.

Magazine d'Actualité

Des informations quotidiennes pour comprendre l'actualité industrielle

Parcours Pratiques

La solution rapide et efficace pour relever les défis posés par vos projets !

Des contenus en libre accès

Les livres blancs
Les conférences en ligne
Les articles témoins
Tous les contenus en accès libre

Un suivi selon vos besoins

Nos newsletters
Nos flux RSS

Domaines couverts

Automatique - Robotique Biomédical - Pharma Construction et travaux publics Électronique - Photonique Énergies Environnement - Sécurité Génie industriel Ingénierie des transports Innovation Matériaux Mécanique Mesures - Analyses Procédés chimie - bio - agro Sciences fondamentales Technologies de l'information

Recherches les plus populaires

Accueil| À propos | Annuaire des auteurs | Experts scientifiques | Partenaires | Publicité | Aide & FAQ| Contact

Français
- English

Plan du site | Mentions légales | RGPD | Cookies

PAIEMENT
SÉCURISÉ

Ouverture rapide
de vos droits

Assistance téléphonique
+33 (0)1 53 35 20 20

Contactez-nous

Contact

Poser une question en ligne Contacter nos équipes

Aide en ligne

Tutos FAQ Chatbot d'assistance

Poser une question directement

Soumettre ma demande

Être appelé.e par un conseiller*

Par téléphone*

*Rappel téléphonique réservé aux pays suivants : France métropolitaine, Belgique, Luxembourg, Monaco, Suisse.