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

A1 Journal article (refereed)

Internal Authors/Editors

Publication Details

List of Authors: Boström P, Waldén M
Publication year: 2004
Journal: Nordic Journal of Computing
Volume number: 11
Issue number: 2
Start page: 75
End page: 101
ISSN: 1236-6064

Last updated on 2020-01-06 at 06:13