Research graph
References from Modeling, Simulation and Verification of Probabilistic Reconfigurable Discrete-Event Systems Under Energy and Memory Constraints. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1109/icds.2009.19
10.1109/icds.2009.19 · External reference
10.1007/978-3-642-16242-8_6
10.1007/978-3-642-16242-8_6 · External reference
10.1109/tsmc.2015.2501232
10.1109/tsmc.2015.2501232 · 2016 · External reference
10.1109/dsn.2003.1209963
10.1109/dsn.2003.1209963 · External reference
Unresolved reference
External reference
10.1109/lics.2008.21
10.1109/lics.2008.21 · External reference
10.1016/j.automatica.2015.02.014
10.1016/j.automatica.2015.02.014 · 2015 · External reference
10.1145/5397.5399
10.1145/5397.5399 · 1986 · External reference
10.1109/tsmc.2017.2726108
10.1109/tsmc.2017.2726108 · 2017 · External reference
10.1109/isic.2000.882952
10.1109/isic.2000.882952 · External reference
10.1007/978-3-642-21455-4_3
10.1007/978-3-642-21455-4_3 · External reference
Unresolved reference
2016 · External reference
10.1109/etfa.1997.616302
10.1109/etfa.1997.616302 · External reference
10.1109/tcst.2013.2281374
10.1109/tcst.2013.2281374 · 2014 · External reference
10.1109/tra.2002.802206
10.1109/tra.2002.802206 · 2002 · External reference
10.5220/0005523503730380
10.5220/0005523503730380 · External reference
10.1016/s1367-5788(03)00002-6
10.1016/s1367-5788(03)00002-6 · 2003 · External reference
10.1109/tsmca.2011.2147308
10.1109/tsmca.2011.2147308 · 2012 · External reference
Unresolved reference
External reference
10.1109/tac.2016.2585647
10.1109/tac.2016.2585647 · 2017 · External reference
10.1109/tac.2016.2574120
10.1109/tac.2016.2574120 · 2017 · External reference
Unresolved reference
External reference
10.1007/s10703-012-0177-x
10.1007/s10703-012-0177-x · 2013 · External reference
10.1109/etfa.2012.6489679
10.1109/etfa.2012.6489679 · External reference
Unresolved reference
External reference
10.1007/3-540-44919-1_28
10.1007/3-540-44919-1_28 · External reference
10.5220/0005181600200031
10.5220/0005181600200031 · External reference
Unresolved reference
External reference
10.1002/rcs.1786
10.1002/rcs.1786 · 2016 · External reference
10.1109/icpp.2010.19
10.1109/icpp.2010.19 · External reference
Unresolved reference
2013 · External reference
10.1109/tac.2015.2496500
10.1109/tac.2015.2496500 · 2016 · External reference
10.1109/tac.2016.2620429
10.1109/tac.2016.2620429 · 2017 · External reference
10.1007/s10845-014-0938-z
10.1007/s10845-014-0938-z · 2016 · External reference
10.1109/tase.2014.2309479
10.1109/tase.2014.2309479 · 2015 · External reference
10.1109/tii.2015.2500161
10.1109/tii.2015.2500161 · 2016 · External reference
10.1109/tase.2011.2178023
10.1109/tase.2011.2178023 · 2012 · External reference
10.1109/tase.2011.2160452
10.1109/tase.2011.2160452 · 2012 · External reference
10.1109/mra.2015.2415047
10.1109/mra.2015.2415047 · 2015 · External reference
10.1080/17517575.2014.948936
10.1080/17517575.2014.948936 · 2016 · External reference
10.1109/tsmc.2014.2373316
10.1109/tsmc.2014.2373316 · 2015 · External reference
10.1109/tsmca.2012.2217321
10.1109/tsmca.2012.2217321 · 2013 · External reference
10.1016/j.ins.2017.07.009
10.1016/j.ins.2017.07.009 · 2017 · External reference
10.1109/tase.2017.2693995
10.1109/tase.2017.2693995 · 2018 · External reference
