Search Sciweavers | Sciweavers

This paper investigates how portability of a model between different computer operating systems can lead to increased efficiency in code execution. The portability problem is not a...

Charles Dietzel, Keith C. Clarke

claim paper

Read More »

115

click to vote

TOCL
2008

52views more TOCL 2008»

Durations and parametric model-checking in timed automata

15 years 5 months ago

Download tocl.acm.org

Véronique Bruyère, Emmanuel Dall'Oli...

claim paper

Read More »

132

click to vote

ACTA
2002

82views more ACTA 2002»

Axiomatising timed automata

15 years 5 months ago

Download www.it.uu.se

Huimin Lin, Wang Yi

claim paper

Read More »

101

click to vote

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers