Login / Signup

Dejan Nickovic

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 90

Top Topics

Limited Budget
Temporal Logic
Timed Automata
Formal Specification

Top Venues

CoRR
Int. J. Softw. Tools Technol. Transf.
FORMATS
RV

Joseph Fourier University, Grenoble, France (PHD)

Education History
Joseph Fourier University, Grenoble, France

PHD

Publications