نتایج جستجو برای: inverse method
تعداد نتایج: 1698818 فیلتر نتایج به سال:
Journal:
:Int. J. Found. Comput. Sci.
2008
Étienne André
Thomas Chatain
Laurent Fribourg
Emmanuelle Encrenaz-Tiphène
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each value of parameters satisfying these constraints, the behaviors of the timed automata are time-abstract equivalent. We will exploit a reference valuation of the parameters that is supposed to capture a characteristic prope...
Journal:
:Mathematical and Computer Modelling
1993
Journal:
:Complex Variables and Elliptic Equations
2013
Journal:
:ASEG Extended Abstracts
2010
Journal:
:Journal of the Mechanics and Physics of Solids
2016
Journal:
:International Journal of Computer Mathematics
2002
Journal:
:Časopis pro pěstování matematiky a fysiky
1935
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید