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

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Filter
Slutfört

Sökresultat