Search Sciweavers | Sciweavers

4036 search results - page 83 / 808

» Formal Methods

105

click to vote

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

15 years 10 months ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

101

click to vote

FORMATS
2005
Springer

73views Formal Methods» more FORMATS 2005»

Counterexamples for Timed Probabilistic Reachability

15 years 10 months ago

Download www.inf.uni-konstanz.de

Husain Aljazzar, Holger Hermanns, Stefan Leue

claim paper

Read More »

111

click to vote

FORMATS
2005
Springer

88views Formal Methods» more FORMATS 2005»

Automatic Rectangular Refinement of Affine Hybrid Systems

15 years 10 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

110

click to vote

FORMATS
2005
Springer

104views Formal Methods» more FORMATS 2005»

Is Timed Branching Bisimilarity an Equivalence Indeed?

15 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

82views Formal Methods» more FORMATS 2005»

Timed Abstract Non-interference

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers