Search Sciweavers | Sciweavers

430 search results - page 1 / 86

» formats 2005

click to vote

FORMATS
2005
Springer

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

13 years 10 months ago

Download profs.sci.univr.it

Roberto Giacobazzi, Isabella Mastroeni

claim paper

Read More »

click to vote

FORMATS
2005
Springer

73views Formal Methods» more FORMATS 2005»

Counterexamples for Timed Probabilistic Reachability

13 years 10 months ago

Download www.inf.uni-konstanz.de

Husain Aljazzar, Holger Hermanns, Stefan Leue

claim paper

Read More »

click to vote

FORMATS
2005
Springer

104views Formal Methods» more FORMATS 2005»

Is Timed Branching Bisimilarity an Equivalence Indeed?

13 years 10 months ago

Download www.cs.vu.nl

Wan Fokkink, Jun Pang, Anton Wijs

claim paper

Read More »

click to vote

FORMATS
2005
Springer

88views Formal Methods» more FORMATS 2005»

Automatic Rectangular Refinement of Affine Hybrid Systems

13 years 10 months ago

Download www.ulb.ac.be

Laurent Doyen, Thomas A. Henzinger, Jean-Fran&cced...

claim paper

Read More »

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers