Modelling “Operation-Calls” in Event-B with Shared-Event Composition

Andrew Edmunds, Marina Walden

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

31 Nedladdningar (Pure)

Fingeravtryck

Fördjupa i forskningsämnen för ”Modelling “Operation-Calls” in Event-B with Shared-Event Composition”. Tillsammans bildar de ett unikt fingeravtryck.

Keyphrases

Computer Science