Showing
1 - 16
results of
16
for search '
"model checking"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Document Type:
Text
Reset Filters
Show filters (1)
Document Type:
Text
Search Results - Open Polar - "model checking"
Search Results
Showing
1 - 16
results of
16
for search '
"model checking"
'
, query time: 0.41s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Model
Checking
Unbounded Concurrent Lists
Get access
Get access
Optimizing Symbolic
Model
Checking
for Constraint-Rich Models
Get access
Get access
Optimizing Symbolic
Model
Checking
for Constraint-Rich Models
Get access
Get access
Optimizing Symbolic
Model
Checking
for Constraint-Rich Models
Get access
Get access
Optimizing Symbolic
Model
Checking
for Constraint-Rich Models
Get access
Get access
Optimizing Symbolic
Model
Checking
for Constraint-Rich Models
Get access
Get access
Optimizing Symbolic
Model
Checking
for Constraint-Rich Models
Get access
Get access
Bayesian estimation of fish school cluster composition applied to a Bering Sea a...
Get access
Get access
Bayesian estimation of fish school cluster composition applied to a Bering Sea a...
Get access
Get access
Use of posterior predictive checks as an inferential tool for investigating indi...
Get access
Get access
Supplementary Material S5 from Sex-specific variation in the use of vertical hab...
Get access
Get access
Author manuscript, published in "ICALP 2008, Reykjavik: Islande (2008)" When doe...
Get access
Get access
Supplementary Material S5 from Sex-specific variation in the use of vertical hab...
Get access
Get access
Dynamics Model about Bowhead Whale, Balaena mysticetus, Replacement Yield
Get access
Get access
Application Of Java-Based Pointcuts In Aspect Oriented Programming (Aop) For Dat...
Get access
Get access
Application Of Java-Based Pointcuts In Aspect Oriented Programming (Aop) For Dat...
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Text
Author
Bwolen Yang
5
Randal E. Bryant
5
Reid Simmons
5
Arif, Fahim
2
Boehme, Lars
2
David R. O’Hallaron
2
Heerah, Karine
2
Khalid, Sadaf
2
Photopoulou, Theoni
2
Pohle, Jennifer
2
Adrian E. Raftery
1
Antonio Cano
1
Bryant, Randal E.
1
Chambert, Thierry
1
David R. O'Hallaron
1
David R. O'hallaron
1
David R. O’hallaron
1
Divjyot Sethi
1
G. L. Swartzman
1
Geof H. Givens
1
Guaiana Jean-éric Pin
1
Gómez Giovanna
1
Hammond, T. R.
1
Higgs, Megan D
1
Judith E. Zeh
1
Muralidhar Talupur
1
O'Hallaron, David R.
1
Richardson, T. S.
1
Rotella, Jay J
1
Sharad Malik
1
see all ...
Topic
60801 Animal Behaviour
2
Aspect Bench Compiler abc
2
Aspect OrientedProgramming AOP
2
AspectJ
2
Aspects
2
Binary Decision Diagram (BDD
2
Concurrency packages
2
Concurrent programming
2
Cross-cutting Concerns
2
Data race
2
Eclipse
2
Ecology
2
Environmental Science
2
FOS Biological sciences
2
Java
2
Java Development Kits JDKs
2
Pointcuts
2
redundant state-variable elimination
2
symbolic model checking
2
timeinvariant constraints
2
*COMPUTER PROGRAM VERIFICATION
1
*SYMBOLIC MODEL CHECKING
1
*SYMBOLIC PROGRAMMING
1
4 The Pre-Model Distribution
1
BDD(BINARY DECISION DIAGRAMS)
1
Bayesian
1
COMPUTER AIDED DIAGNOSIS
1
Computer Programming and Software
1
ONLINE SYSTEMS
1
OPTIMIZATION
1
see all ...
Content Provider
Unknown
9
DataCite Metadata Store (German National Library of Science and Technology)
4
Defense Technical Information Center: DTIC Technical Reports database
1
HighWire Press (Stanford University)
1
PubMed Central (PMC)
1
see all ...
Geographic location
Antarctic
8
Bering Sea
2
Handle The
2
Klaus
2
Weddell
1
see all ...
Language
English
14
unknown
2
Open Polar Keyword
Antarc*
8
Antarctic
8
Bering Sea
2
Newfoundland
2
Theragra chalcogramma
2
Balaena mysticetus
1
Islande
1
The Pointers
1
Weddell Seals
1
bowhead whale
1
see all ...
Loading...