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

Pontus Boström, Marina Walden

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Sidor (från-till)75–101
    TidskriftNordic Journal of Computing
    Volym11
    Utgåva2
    StatusPublicerad - 2004
    MoE-publikationstypA1 Tidskriftsartikel-refererad

    Citera det här