Search Sciweavers | Sciweavers

3229 search results - page 78 / 646

» The Theory of Timed Automata

105

click to vote

NJC
2002

54views more NJC 2002»

Code Synthesis for Timed Automata

15 years 5 months ago

Download www.it.uu.se

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

claim paper

Read More »

103

click to vote

IEE
2010

41views more IEE 2010»

Synthesising certificates in networks of timed automata

15 years 4 months ago

Download react.cs.uni-sb.de

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

claim paper

Read More »

127

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 4 months ago

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

Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto

claim paper

Read More »

138

click to vote

QEST
2010
IEEE

127views Modeling and Simulation» more QEST 2010»

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

15 years 3 months ago

Download www.doc.ic.ac.uk

Michael Huth, Nir Piterman, Daniel Wagner

claim paper

Read More »

110

click to vote

JLP
2011

85views more JLP 2011»

Validation and verification of Web services choreographies by using timed automata

15 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers