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

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)


Interna författare/redaktörer


Publikationens författare: Boström P, Waldén M
Publiceringsår: 2004
Tidskrift: Nordic Journal of Computing
Volym: 11
Nummer: 2
Artikelns första sida, sidnummer: 75
Artikelns sista sida, sidnummer: 101
ISSN: 1236-6064

Senast uppdaterad 2019-21-11 vid 03:38