• Offres d’emploi
  • Stages
  • Contact
  • Gestion des données
  • (EN)
CETIC

MENU

  • A propos
  • Innovation
  • Domaines
  • Projets
  • Services
  • Actualités
  • Accueil
  • FR
  • Actualités

Blog

Tout afficher

Expertises

  • Ingénierie de systèmes IT complexes
  • Ingénierie et science des données
  • Algorithmique et Optimisation Combinatoire
  • Evolutivité des systèmes embarqués et réseaux IoT
  • Co-création pour le numérique

Domaines

  • Secteur numérique
  • Santé
  • Transport & logistique
  • Industrie
  • Numérique et société
  • Energie et environnement
  • Aérospatial
  • Média
  • Télécommunications

Thèmes d’innovation

  • Systèmes Autonomes
  • Les Intelligences Artificielles
  • Cyber Sécurité
  • Edge Computing

Assets

  • Oscar.CBLS
  • Dmway
  • TSorage
  • 6LBR
  • TSimulus

Archives

  • 2022 – 6 articles
  • 2021 – 7 articles
  • 2020 – 13 articles
  • 2019 – 10 articles
  • 2018 – 13 articles
  • 2017 – 9 articles
  • 2016 – 7 articles
  • 2015 – 14 articles
  • 2014 – 7 articles
  • 2013 – 26 articles
  • 2012 – 15 articles
Réinitialiser le filtre

Blog

Vérification assistée par ordinateur

Vérification assistée par ordinateur - Garantissez un haut niveau d’assurance...

13 octobre 2010

BLOG

Le logiciel contrôle des aspects de plus en plus nombreux, complexes et parfois vitaux de notre quotidien. Les méthodes actuelles de développement reposent encore largement sur le codage manuel et les tests. Celles-ci (...)

Déploiement industriel de méthodes formelles

Déploiement industriel de méthodes formelles - Projet DEPLOY

13 octobre 2010

BLOG

Les méthodes d’ingénierie formelles sont théoriquement capables d’atteindre un niveau de qualité « zéro bug ». Certaines sont utilisées avec succès en industrie, notamment dans le développement de systèmes de métro (...)

En Mieux Digital Wallonia

Restez en contact

  • twitter en français
  • LinkedIn
  • Facebook
  • Youtube
  • Contact