Search Sciweavers | Sciweavers

1124 search results - page 31 / 225

» Refined quorum systems

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 7 months ago

Download www.c-lab.de

Alexander Krupp, Wolfgang Müller 0003

claim paper

Read More »

click to vote

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

15 years 6 months ago

Download www.dsi.uniroma1.it

Martin Große-Rhode, Francesco Parisi-Presicc...

claim paper

Read More »

click to vote

EKAW
1997
Springer

113views Information Technology» more EKAW 1997»

Knowledge Refinement for a Design System

15 years 6 months ago

Download www.comp.rgu.ac.uk

Robin Boswell, Susan Craw, Ray Rowe

claim paper

Read More »

108

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

15 years 6 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

click to vote

AAAI
1994

84views Intelligent Agents» more AAAI 1994»

Refining the Structure of Terminological Systems: Terminology = Schema + Views

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers