Skip to content
  • FEATURES
  • DOWNLOAD
  • COMMUNITY
    • USER COMMUNITY
    • DEPS Link
    • PROJECTS
  • EXAMPLES
  • DOCUMENTATION
  • NEWS
  • ABOUT US
  • Sign in
Menu Fermer
  • FEATURES
  • DOWNLOAD
  • COMMUNITY
    • USER COMMUNITY
    • DEPS Link
    • PROJECTS
  • EXAMPLES
  • DOCUMENTATION
  • NEWS
  • ABOUT US
  • Sign in
DEPS

Problem Modeling for Solving

DEPS Studio at AFADL 2021

DEPS Studio at AFADL 2021

  • Auteur/autrice de la publication :admin
  • Publication publiée :18 juin 2021
  • Post category:Non classé

The DEPS Studio has been presented at the 20 th french conference on formal approach for software development AFADL’2021

Conference Website

The paper

 

Vous devriez également aimer

DEPS V 0.9 Overview

22 janvier 2018

DEPS for system architecture synthesis at SAE AEROTECH Europe 2019

13 mars 2020

Avionics Architecture Synthesis CSD&M2020

26 janvier 2021

News

  • DEPS Studio user manual
  • DEPS’s documentation
  • New version of our website
  • DEPS language description
  • DEPS Studio at AFADL 2021
Copyright 2018 - DEPS Link