Towards Scalable Modeling of Biology in Event-B

Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre

Tutkimustuotos: Muu myötävaikuttaminen

Sormenjälki

Sukella tutkimusaiheisiin 'Towards Scalable Modeling of Biology in Event-B'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Computer Science