Towards Component-Based Reuse for Event-B

Andrew Edmunds, Colin Snook, Marina Walden

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

10 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Towards Component-Based Reuse for Event-B'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science