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

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

Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (Scopus)
73 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Applying guidelines for system modelling in Event-B: A systematic literature review'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Keyphrases

Computer Science