Search Sciweavers | Sciweavers

16 search results - page 1 / 4

» fm 2001

click to vote

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

15 years 7 months ago

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel

claim paper

Read More »

100

click to vote

FM
2001
Springer

89views Formal Methods» more FM 2001»

Test-Case Calculation through Abstraction

15 years 7 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig

claim paper

Read More »

112

click to vote

FM
2001
Springer

144views Formal Methods» more FM 2001»

Composing Contracts: An Adventure in Financial Engineering

15 years 7 months ago

Download www.cs.uu.nl

Simon L. Peyton Jones

claim paper

Read More »

104

Voted

FM
2001
Springer

85views Formal Methods» more FM 2001»

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

15 years 7 months ago

Download www.ics.uci.edu

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul...

claim paper

Read More »

100

Voted

FM
2001
Springer

101views Formal Methods» more FM 2001»

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers