| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns
|
Assunção, Joaquim
|
|
2013
|
296 |
C |
p. 27-42
16 p.
|
artikel
|
| 2 |
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
|
Amparore, Elvio G.
|
|
2013
|
296 |
C |
p. 7-26
20 p.
|
artikel
|
| 3 |
Conservation of Mass Analysis for Bio-PEPA
|
Clark, Allan
|
|
2013
|
296 |
C |
p. 107-126
20 p.
|
artikel
|
| 4 |
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC
|
Tarasyuk, Igor V.
|
|
2013
|
296 |
C |
p. 229-252
24 p.
|
artikel
|
| 5 |
Distributed LTL Model Checking with Hash Compaction
|
Barnat, J.
|
|
2013
|
296 |
C |
p. 79-93
15 p.
|
artikel
|
| 6 |
Energy-aware Management of Customer Streams
|
Aidarov, K.
|
|
2013
|
296 |
C |
p. 199-210
12 p.
|
artikel
|
| 7 |
Exploiting product forms solution techniques in multiformalism modeling
|
Barbierato, Enrico
|
|
2013
|
296 |
C |
p. 61-77
17 p.
|
artikel
|
| 8 |
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking
|
Markovski, J.
|
|
2013
|
296 |
C |
p. 163-181
19 p.
|
artikel
|
| 9 |
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids
|
Garavel, Hubert
|
|
2013
|
296 |
C |
p. 145-161
17 p.
|
artikel
|
| 10 |
LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs
|
Kähkönen, Kari
|
|
2013
|
296 |
C |
p. 253-259
7 p.
|
artikel
|
| 11 |
Markov Chain Simulation with Fewer Random Samples
|
Milios, Dimitrios
|
|
2013
|
296 |
C |
p. 183-197
15 p.
|
artikel
|
| 12 |
Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata
|
Zhang, Fengling
|
|
2013
|
296 |
C |
p. 261-277
17 p.
|
artikel
|
| 13 |
Multi-Core BDD Operations for Symbolic Reachability
|
van Dijk, Tom
|
|
2013
|
296 |
C |
p. 127-143
17 p.
|
artikel
|
| 14 |
PEPAʼd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study
|
Scott, Erin
|
|
2013
|
296 |
C |
p. 211-228
18 p.
|
artikel
|
| 15 |
Preface
|
Bradley, Jeremy
|
|
2013
|
296 |
C |
p. 1-5
5 p.
|
artikel
|
| 16 |
Publisherʼs Note
|
|
|
2013
|
296 |
C |
p. 279-
1 p.
|
artikel
|
| 17 |
SpinS: Extending LTSmin with Promela through SpinJa
|
van der Berg, Freark
|
|
2013
|
296 |
C |
p. 95-105
11 p.
|
artikel
|
| 18 |
Stochastic Modelling of the Kai-based Circadian Clock
|
Banks, Chris
|
|
2013
|
296 |
C |
p. 43-60
18 p.
|
artikel
|
Tijdschrift beschrijving