Skip to main navigation
Skip to search
Skip to main content
Åbo Akademi University Home
English
Svenska
Suomi
Home
Persons
Research Units
Projects
Publications
Datasets
Prizes
Activities
Courses
Press / Media
Impacts
Search by expertise, name or affiliation
Muhammad Usman Sanwal
Faculty of Science and Engineering
,
Information Technology
Email
muhammad.sanwalabofi
2015
2022
Research activity per year
Overview
Fingerprint
Network
Publications
(11)
Similar Profiles
(6)
If you made any changes in Pure these will be visible here soon.
Publications
Research output per year
2015
2017
2020
2021
2022
4
Conference contribution
4
Article
1
Commissioned report
1
Other contribution
1
More
1
Doctoral Thesis
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Other contribution
Search results
2021
Towards Scalable Modeling of Biology in Event-B
Sanwal, U.
,
Hoang, T. S.
,
Petre, L.
&
Petre, I.
,
20 May 2021
,
18 p.
Computer Research Repository.
Research output
:
Other contribution
Open Access
Formal methods
100%
Biological systems
99%