|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Assumption-Commitment Support for CSP Model Checking |
Moffat, Nick |
2007 |
185 | C |
p. 121-137 17 p. |
article |
|
| 2 | Automatic Verification of Bossa Scheduler Properties |
Bodeveix, Jean-Paul |
2007 |
185 | C |
p. 17-32 16 p. |
article |
|
| 3 | Compressing Propositional Refutations |
Amjad, Hasan |
2007 |
185 | C |
p. 3-15 13 p. |
article |
|
| 4 | Evaluating Complex MAC Protocols for Sensor Networks with APMC |
Cadilhac, Michaël |
2007 |
185 | C |
p. 33-46 14 p. |
article |
|
| 5 | Extending Symmetry Reduction Techniques to a Realistic Model of Computation |
Donaldson, Alastair F. |
2007 |
185 | C |
p. 63-76 14 p. |
article |
|
| 6 | Formal Fault Tree Analysis - Practical Experiences |
Ortmeier, Frank |
2007 |
185 | C |
p. 139-151 13 p. |
article |
|
| 7 | Formal Verification of Concurrent Systems via Directed Model Checking |
Gradara, Sara |
2007 |
185 | C |
p. 93-105 13 p. |
article |
|
| 8 | Incremental Parametric Development of Greedy Algorithms |
Cansell, Dominique |
2007 |
185 | C |
p. 47-62 16 p. |
article |
|
| 9 | On the Decidability of the Safety Problem for Access Control Policies |
Kleiner, E. |
2007 |
185 | C |
p. 107-120 14 p. |
article |
|
| 10 | Preface |
Merz, Stephan |
2007 |
185 | C |
p. 1-2 2 p. |
article |
|
| 11 | The GTO Toolset and Method |
Eriksson, Lars-Henrik |
2007 |
185 | C |
p. 77-91 15 p. |
article |
11 results found