Login / Signup
Martin Koskinen
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Formal Verification
Theorem Prover
First Order Logic
Reachability Analysis
Top Venues
ICSOFT PT
ICSOFT (Selected Papers)
</>
Publications
</>
Dragos Truscan
,
Jüri Vain
,
Martin Koskinen
Combining Aspect-orientation and UPPAAL Timed Automata.
ICSOFT PT
(2014)
Dragos Truscan
,
Jüri Vain
,
Martin Koskinen
,
Junaid Iqbal
A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata.
ICSOFT (Selected Papers)
(2014)