Chaima Boufaied

Registered user since Thu 21 Apr 2022

Name:Chaima Boufaied
Country:Canada
Affiliation:University of Ottawa
Research interests:Trace checking, runtime verification, specification and verification of temporal properties, machine learning

Contributions

Show activities from other conferences

Using general profile