Implementation of Control Systems using B Action Systems - A Case Study

Pontus Boström, Marina Walden

    Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

    AlkuperäiskieliEi tiedossa
    Sivut75–101
    JulkaisuNordic Journal of Computing
    Vuosikerta11
    Numero2
    TilaJulkaistu - 2004
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu
    • 1 Päättynyt

    Viittausmuodot