Nickovic, Dejan

Vis mig kun

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Nickovic, Dejan

403,64 DKK

Runtime Verification

Runtime Verification

Nickovic, Dejan

436,85 DKK

Runtime Verification

Runtime Verification

Nickovic, Dejan

436,85 DKK

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Nickovic, Dejan

436,85 DKK