Search Sciweavers | Sciweavers

1587 search results - page 9 / 318

» What's my method

click to vote

FM
2009
Springer

138views Formal Methods» more FM 2009»

What Can Formal Methods Bring to Systems Biology?

14 years 3 months ago

Download www.cs.vu.nl

This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...

Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...

claim paper

Read More »

click to vote

ITC
1997
IEEE

90views Hardware» more ITC 1997»

So What Is an Optimal Test Mix? A Discussion of the SEMATECH Methods Experiment

14 years 22 days ago

Download www.pld.ttu.ee

Phil Nigh, Wayne M. Needham, Kenneth M. Butler, Pe...

claim paper

Read More »

click to vote

ICCI
1991

88views Information Technology» more ICCI 1991»

What's Wrong With Formal Programming Methods?

14 years 1 days ago

Download www.cs.toronto.edu

Eric C. R. Hehner

claim paper

Read More »

click to vote

PSTV
1993

89views Hardware» more PSTV 1993»

What Makes Industries Believe in Formal Methods

13 years 9 months ago

Download wwwhome.cs.utwente.nl

Chris A. Vissers, Marten van Sinderen, Luís...

claim paper

Read More »

click to vote

JITE
2007

107views more JITE 2007»

A Methodical Formative Evaluation of Computer Literacy Course: What and How to Teach

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers