×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [state transition system]
Verification of architectural memory models by model checking Shaz Qadeer Compaq Systems Research Center
[email protected]
218 views
Access Control Rules Tester
716 views
Implementing real-time transactional security property using timed edit automata
224 views
Goal and Scenario Validation: a Fluent Combination Chin-Yi Tsai
220 views
Name:Wolfgang Grieskamp Title: Software Architect Company: Microsoft Session Code: DEV316
213 views
Industrial Semantics Or How to Stop the Maths Getting in the Way of the Marketing Joe Stoy Founder and Principal Engineer Bluespec, Inc. (with help from
214 views
Access Control Rules Tester
19 views
Access Control Rules Tester Andrew Petukhov Department of Computer Science Moscow State University
[email protected]
217 views
Model Checking Large Software Specifications
35 views