A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs

Authors
Publication date
1 November 2021
Publisher
HAL CCSD

Abstract

International audienc

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Hal - Université Grenoble Alpes

    redirect
    oaioai:HAL:hal-03612991v1
    Last time updated on 19/05/2022