Applying guidelines for system modelling in Event-B: A systematic literature review

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Walden

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

1 Citeringar (Scopus)
47 Nedladdningar (Pure)

Sökresultat