Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

25

COMPUTER
2000

favoriteEmaildiscussreport

53views more COMPUTER 2000»

E-Process Design and Assurance Using Model Checking

13 years 10 months ago

E-Process Design and Assurance Using Model Checking

Download crec.mccombs.utexas.edu

Wenli Wang, Zoltán Hidvégi, Andrew D

Real-time Traffic

COMPUTER 2000 |

claim paper

Related Content

» An eProcess Selection Model

» Using Symbolic Simulation for Bounded Property Checking

» Formal Verification for HighAssurance Behavioral Synthesis

» Assuring Consistency of Business Process Models and Web Services Using Visual Contracts

» On the refactoring of activity labels in business process models

» Bogor A Flexible Framework for Creating Software Model Checkers

» Lessons learned using alloy to formally specify MLSPCA trusted security architecture

» Java Quality Assurance by Detecting Code Smells

» Verification of OutOfOrder Processor Designs Using Model Checking and a LightWeight Comple...

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2000
Where	COMPUTER
Authors	Wenli Wang, Zoltán Hidvégi, Andrew D. Bailey Jr., Andrew B. Whinston

Comments (0)