×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [set of initial states]
Metodi formali dello sviluppo software a.a.2013/2014 Prof.Anna Labella
216 views
M ODEL CHECKING -Vasvi Kakkad University of Sydney
218 views
Fragment-Based Conformant Planning James Kurien Palo Alto Research Center Pandu NayakStratify, Inc. David E. SmithNASA Ames Research Center
215 views
François Fages MPRI Bio-info 2005 Formal Biology of the Cell Modeling, Computing and Reasoning with Constraints François Fages, Constraint Programming
216 views
1 A Tutorial on Parallel and Distributed Model Checking Orna Grumberg Computer Science Department Technion, Israel
214 views
1 Copyright Micron Engineering 2007 Finite State Machines and Micro Threads Massimo Manca Micron Engineering
215 views
Action Language: A Specification Language for Model Checking Reactive Systems Tevfik Bultan Department of Computer Science University of California, Santa
213 views
Regular Model Checking Ahmed Bouajjani,Benget Jonsson, Marcus Nillson and Tayssir Touili Moran Ben Tulila 8.5.12
215 views
Web Services: Formal Modeling and Analysis Jianwen Su University of California, Santa Barbara
217 views
Fragment-Based Conformant Planning
19 views
Supercomputing for weather and climate modelling: convenience or necessity
27 views
Willem A. Landman Asmerom Beraki Francois Engelbrecht Stephanie Landman Supercomputing for weather and climate modelling: convenience or necessity
215 views
Next >