Sciweavers

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

9

CAV
1997
Springer

favoriteEmaildiscussreport

111views Hardware» more CAV 1997»

RuleBase: Model Checking at IBM

13 years 9 months ago

RuleBase: Model Checking at IBM

Download www.cs.uwaterloo.ca

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel

Real-time Traffic

CAV 1997 | Hardware |

claim paper

Related Content

» Testing for Heteroskedasticity of the Residuals in Fuzzy RuleBased Models

» Designing a Topological Modeler Kernel A RuleBased Approach

» Explaining Counterexamples Using Causality

» Implementing and Evaluating a RuleBased Approach to Querying Regular EL Ontologies

» A Reasoning Framework for RuleBased WSML

» Intrusion Attack Tactics for the Model Checking of eCommerce Security Guarantees

» UMLAnalyzer A Tool for the Instant Consistency Checking of UML Models

» Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framewo...

» Incremental Consistency Checking of Dynamic Constraints

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1997
Where	CAV
Authors	Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal

Comments (0)