Scalable reaction network modeling with automatic validation of consistency in Event-B

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

1 Citeringar (Scopus)
16 Nedladdningar (Pure)

Fingeravtryck

Fördjupa i forskningsämnen för ”Scalable reaction network modeling with automatic validation of consistency in Event-B”. Tillsammans bildar de ett unikt fingeravtryck.

Physics

Biochemistry, Genetics and Molecular Biology

Computer Science

Mathematics