Showing
1 - 20
results of
76
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
Search Results - Open Polar - "model checking"
Search Results
Showing
1 - 20
results of
76
for search '
"model checking"
'
, query time: 0.25s
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
A
Model
-
Checking
Tool for Families of Services
Get access
Get access
Get access
Get access
A
Model
-
Checking
Tool for Families of Services
Get access
Get access
Get access
Get access
On Expressiveness and Complexity in Real-time
Model
Checking
Get access
Get access
Get access
Get access
A
Model
-
Checking
Tool for Families of Services
Get access
Get access
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
Partial Order Methods for Statistical
Model
Checking
and Simulation
Get access
Get access
Get access
Get access
Partial Order Methods for Statistical
Model
Checking
and Simulation
Get access
Get access
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
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
The implementation of BIM within the public procurement:A model-based approach f...
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
3
4
Next
Last
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
29
Article in Journal/Newspaper
18
Text
16
Other Non-Article Part of Journal/Newspaper
7
Report
2
Book
1
Master Thesis
1
Other/Unknown Material
1
Thesis
1
see all ...
Author
Bwolen Yang
11
Merz, Stephan
10
Reid Simmons
7
Cantoni, Eva
6
Field, Chris
6
Hartmanns, Arnd
6
Lu, Tianxiang
6
Randal E. Bryant
6
Weidenbach, Christoph
6
Yan, Yuan
6
Anderson, T. L.
5
Bates, T. S.
5
Baynard, T.
5
Bond, T.
5
Boucher, O.
5
Carmichael, G.
5
Clarke, A.
5
Erlick, C.
5
Guo, H.
5
Horowitz, L.
5
Howell, S.
5
Kulkarni, S.
5
Maring, H.
5
Middlebrook, A.
5
Mills Flemming, Joanna
5
Noone, K.
5
O'Dowd, C. D.
5
Ogren, J.
5
Penner, J.
5
Quinn, P. K.
5
see all ...
Topic
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
17
[INFO]Computer Science [cs]
17
model checking
10
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
8
formal specification
6
network protocols
6
verification methods
6
Ecology
5
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking
4
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems
4
Atmosphere
4
FOS Computer and information sciences
4
Parallel
4
[INFO.INFO-DC]Computer Science [cs]/Distributed
4
[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
4
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
4
[SDU.OCEAN]Sciences of the Universe [physics]/Ocean
4
and Cluster Computing [cs.DC]
4
distributed systems
4
info:eu-repo/classification/ddc/310
4
partial-order reduction
4
simulation
4
ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems
3
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs
3
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods
3
Environmental Science
3
60801 Animal Behaviour
2
80399 Computer Software not elsewhere classified
2
89999 Information and Computing Sciences not elsewhere classified
2
Aspect Bench Compiler abc
2
see all ...
Content Provider
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
12
Unknown
10
DataCite Metadata Store (German National Library of Science and Technology)
9
IFIP Open Digital Library (International Federation for Information Processing)
7
Université de Nantes: HAL-UNIV-NANTES
5
Université de Genève: Archive ouverte UNIGE
4
Université de Lorraine: HAL
3
Directory of Open Access Journals: DOAJ Articles
2
Institut national des sciences de l'Univers: HAL-INSU
2
KiltHub Research from Carnegie Mellon University
2
RePEc (Research Papers in Economics)
2
Canadian Science Publishing (via Crossref)
1
Defense Technical Information Center: DTIC Technical Reports database
1
HighWire Press (Stanford University)
1
INSA Rennes HAL (Institut National des Sciences Appliquées)
1
Montana State University (MSU): ScholarWorks
1
NTNU Open Archive (Norwegian University of Science and Technology)
1
National University of Ireland (NUI), Galway: ARAN
1
Oxford University Press (via Crossref)
1
Portail HAL-ANR (Agence Nationale de la Recherche)
1
PubMed Central (PMC)
1
The Royal Society: Figshare
1
University of Toronto: Research Repository T-Space
1
University of Trento: unitn.it eprints
1
Università degli Studi di Trento: CINECA IRIS
1
Université Grenoble Alpes: HAL
1
Université de Rennes 1: Publications scientifiques (HAL)
1
VTT's Research Information Portal
1
Wiley Online Library
1
see all ...
Geographic location
Antarctic
15
Arctic
7
Greenland
6
Indian
6
Pacific
6
Weddell
4
Bering Sea
2
Handle The
2
Klaus
2
Luleå Airport
1
New Zealand
1
Northwest Territories
1
Norway
1
see all ...
Language
English
60
unknown
16
Open Polar Keyword
Iceland
32
Antarc*
15
Antarctic
15
Arctic
7
Greenland
6
Northwest Atlantic
6
Somniosus microcephalus
3
Weddell Seals
3
Bering Sea
2
Labrador Sea
2
Newfoundland
2
North Atlantic
2
Theragra chalcogramma
2
Atlantic salmon
1
Balaena mysticetus
1
Islande
1
Luleå
1
Northwest Territories
1
Salmo salar
1
The Pointers
1
Weddell Seal
1
bowhead whale
1
permafrost
1
see all ...
Loading...