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

15 years 3 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

15 years 3 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?

15 years 3 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

15 years 3 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers