Search Sciweavers | Sciweavers

921 search results - page 61 / 185

» On Interleaving in Timed Automata

122

click to vote

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 6 months ago

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

118

click to vote

NJC
2002

54views more NJC 2002»

Code Synthesis for Timed Automata

15 years 6 months ago

Download www.it.uu.se

Tobias Amnell, Elena Fersman, Paul Pettersson, Hon...

claim paper

Read More »

120

click to vote

IEE
2010

41views more IEE 2010»

Synthesising certificates in networks of timed automata

15 years 5 months ago

Download react.cs.uni-sb.de

Bernd Finkbeiner, H.-J. Peter, Sven Schewe

claim paper

Read More »

141

click to vote

IEICET
2010

142views more IEICET 2010»

An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop

15 years 5 months ago

Download www-infosec.ist.osaka-u.ac.jp

Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto

claim paper

Read More »

158

Voted

QEST
2010
IEEE

127views Modeling and Simulation» more QEST 2010»

p-Automata: New Foundations for Discrete-Time Probabilistic Verification

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers