Technical Session | Sciweavers

62

QRE
2011

196views Computer Networks» more QRE 2011»

Phase II monitoring of covariance stationary autocorrelated processes

13 years 3 months ago

papers/abstracts/authors within each session. • The Author and Session indices provide cross-reference assistance (pages 33-36). • The floor plan on page 6 shows you where tech...

Marcus B. Perry, Gary R. Mercado, Joseph J. Pignat...

claim paper

Read More »

89

click to vote

ICTAC
2010
Springer

304views Applied Computing» more ICTAC 2010»

Preference and Non-deterministic Choice

13 years 11 months ago

Download www.ictac.net

Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Speciﬁcation and Veriﬁcation of a MPI Implementation for a MP-SoC...

Bill Stoddart, Frank Zeyda, Steve Dunne

claim paper

Read More »

45

click to vote

IFM
2007
Springer

129views Formal Methods» more IFM 2007»

Slotted-Circus

14 years 6 months ago

Download ictac2010.dimap.ufrn.br

Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Speciﬁcation and Veriﬁcation of a MPI Implementation for a MP-SoC...

Andrew Butterfield, Adnan Sherif, Jim Woodcock

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers