Publikationer per år
Publikationer per år
Projektinformation
| Akronym | MATISSE |
|---|---|
| Status | Slutfört |
| Gällande start-/slutdatum | 01/05/00 → 28/02/03 |
Samarbetspartner
- Åbo Akademi (huvudsaklig)
- University of Southampton
- French National Centre for Scientific Research
- Qinetiq (United Kingdom)
- Siemens Transportation Systems
- Gemplus
- ClearSy
-
Implementation of Control Systems using B Action Systems - A Case Study
Boström, P. & Walden, M., 2004, I: Nordic Journal of Computing. 11, 2, s. 75–101Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
A case study: Implementation of control systems using B-Action Systems
Boström, P. & Walden, M., 2003, Proceedings of the 15th Nordic Workshop on Programming Theory - NWPT'03. Turku, Finland, s. 51-53Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig
-
A case study in requirement analysis of control systems using UML and B
Snook, C., Tsiopoulos, L. & Walden, M., 2003, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 533)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
Öppen tillgångFil45 Nedladdningar (Pure)