Login / Signup

Saddek Bensalem

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 93

Top Topics

Embedded Systems
Model Checking
Linear Algebra
State Machines

Top Venues

CoRR
Int. J. Softw. Tools Technol. Transf.
VECoS
ATVA

Grenoble Institute of Technology, France (PHD)

Education History
Grenoble Institute of Technology, France

PHD

Publications