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 2019-18-08 at 07:14