présentation
58
Les méthodes formelles La méthode formelle B Génération de code Dorian Petit [email protected] INRETS-ESTAS / LAMIH-ROI G. Mariano / V. Poirriez Thèse Cofinancée INRETS/Région Nord Pas-de-Calais http://www3.inrets.fr/estas/petit/Slides/seminaire-UVHC.pdf Séminaire LAMIH-ROI – p.1/44
description
encore général
Transcript of présentation
-
5/19/2018 | 502: Bad gateway
1/1
Error 502 Ray ID: 41d20e4567b3186a 2018-05-18 23:20:40
UTC
Bad gateway
You
Browser
Working
Newark
Cloudflare
Working
Host
Error
What happened?
The web server reported a bad gateway error.
What can I do?
Please try again in a few minutes.
Cloudflare Ray ID: 41d20e4567b3186a Your IP: 54.39.18.118 Performance & security by Cloudflare
https://www.cloudflare.com/5xx-error-landing?utm_source=error_footer