Use of U2B for Specifying B Action Systems

Colin Snook, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskaplig

OriginalspråkEngelska
Titel på gästpublikationProceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience
UtgivningsortGrenoble France
StatusPublicerad - 2002
MoE-publikationstypB3 Ej refererad artikel i konferenshandlingar

Citera det här