Search Sciweavers | Sciweavers

1219 search results - page 12 / 244

» Verification of Equivalent-Results Methods

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

14 years 13 days ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »

click to vote

PRDC
2002
IEEE

97views Applied Computing» more PRDC 2002»

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method

14 years 12 days ago

Download www.async.ece.utah.edu

Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric ...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

108views Distributed And Parallel Com...» more IPPS 2000»

A Method for Automatic Cryptographic Protocol Verification

13 years 12 months ago

Download ipdps.cc.gatech.edu

Jean Goubault-Larrecq

claim paper

Read More »

click to vote

ICDAR
1997
IEEE

108views Document Analysis» more ICDAR 1997»

Proposal for a Text-Indicated Writer Verification Method

13 years 11 months ago

Download www.imes.boj.or.jp

Yasushi Yamazaki, Naohisa Komatsu

claim paper

Read More »

click to vote

VLSID
1996
IEEE

122views VLSI» more VLSID 1996»

Characteristic polynomial method for verification and test of combinational circuits

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers