A case study in requirement analysis of control systems using UML and B

Colin Snook, Leonidas Tsiopoulos, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”A case study in requirement analysis of control systems using UML and B”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science