×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [safety properties]
Home >
safety properties
DESIGN OF A MULTI-AGENT SYSTEM ARCHITECTURE FOR THE SCRUM METHODOLOGY
557 views
The behavior of SAT solvers in model checking applications K. L. McMillan Cadence Berkeley Labs.
216 views
Exploiting SAT solvers in unbounded model checking K. L. McMillan Cadence Berkeley Labs.
221 views
Paxos and Zookeeper Roy Campbell. Motivation Centralized service:- Coordination kernel Maintains – configuration information, – naming, – distributed.
219 views
Supporting Security at the Gate Level: Opportunities and Misconceptions Tim Sherwood UC Santa Barbara.
212 views
Software Model Checking with SMT Ken McMillan Microsoft Research TexPoint fonts used in EMF: A A A A A.
213 views
Fail-Aware Publish/Subscribe
736 views
sTeX+ – a System for Flexible Formalization of Linked Data
440 views
.ppt
837 views
Role of toxicology in regulatory processes 1
1.436 views
Products,Glazing Techniques and Maintenance SECTION4; GGF Datasheet for the Quality of Thermally Toughened Soda Lime Silicate Safety Glass for Building.pdf
78 views
Refrigerant
280 views
Next >