Showing 1 - 12 results of 12 for search 'Jovanovic A', query time: 0.03s
Refine Results
-
1
-
2
Parameter synthesis for probabilistic timed automata using stochastic game abstractions by Jovanović, A, Kwiatkowska, M
Published 2017Journal article -
3
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions by Jovanović, A, Kwiatkowska, M
Published 2014Conference item -
4
Impact of Childhood Adversity, as Early Life Distress, on Cytokine Alterations in Schizophrenia by Miljevic C, Munjiza-Jovanovic A, Jovanovic T
Published 2023-03-01
Article -
5
Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games by Jovanović, A, Lime, D, Roux, O
Published 2013Conference item -
6
Integer Parameter Synthesis for Timed Automata by Jovanović, A, Lime, D, Roux, O
Published 2013Conference item -
7
Integer Parameter Synthesis for Real−time Systems by Jovanović, A, Lime, D, Roux, O
Published 2014Journal article -
8
Parametric Interrupt Timed Automata by Bérard, B, Haddad, S, Jovanović, A, Lime, D
Published 2013Conference item -
9
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata by Jovanovic, A, Kwiatkowska, M, Norman, G, Peyras, Q
Published 2017Journal article -
10
Stroke and diabetic ketoacidosis – some diagnostic and therapeutic considerations by Jovanovic A, Stolic RV, Rasic DV, Markovic-Jovanovic SR, Peric VM
Published 2014-04-01
Article -
11
Diagnosis of Fanconi's Anemia by Diepoxybutane Analysis in Children from Serbia by Cirkovic S, Guc-Scekic M, Vujic D, Ilic N, Micic D, Skoric D, Jovanovic A
Published 2011-01-01
Article -
12