Search Sciweavers | Sciweavers

4340 search results - page 104 / 868

» Formal Methods and Cryptography

Voted

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

15 years 9 months ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

click to vote

FORMATS
2005
Springer

73views Formal Methods» more FORMATS 2005»

Counterexamples for Timed Probabilistic Reachability

15 years 9 months ago

Download www.inf.uni-konstanz.de

Husain Aljazzar, Holger Hermanns, Stefan Leue

claim paper

Read More »

102

click to vote

FORMATS
2005
Springer

88views Formal Methods» more FORMATS 2005»

Automatic Rectangular Refinement of Affine Hybrid Systems

15 years 9 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

101

click to vote

FORMATS
2005
Springer

104views Formal Methods» more FORMATS 2005»

Is Timed Branching Bisimilarity an Equivalence Indeed?

15 years 9 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers