نتایج جستجو برای: timed collection
تعداد نتایج: 203629 فیلتر نتایج به سال:
Journal:
:Procedia Computer Science
2015
Journal:
:Theoretical Computer Science
2014
2003
TOBIAS AMNELL
ELENA FERSMAN
PAUL PETTERSSON
HONGYAN SUN
WANG YI
1999
Supratik Mukhopadhyay
Andreas Podelski
1997
Marius Bozga
Oded Maler
Amir Pnueli
Sergio Yovine
Journal:
:Theoretical Computer Science
1995
2017
Eugene Asarin
Marius Bozga
Alain Kerbrat
Oded Maler
Amir Pnueli
Anne Rasse
1999
Thomas Stauner
This paper presents the speci cation of some parts of a lip synchronization protocol using HyCharts GSB The speci cation is based on a timed automata model for the protocol presented in BFK The primary motivation of this work is to examine the utility of HyCharts for problems in the multimedia eld in particular in comparison to timed automata AD
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید