|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Exercise on Transition Systems |
Ribeiro, Paula R. |
2008 |
207 | C |
p. 89-106 18 p. |
artikel |
|
| 2 | A Rigorous Model of Service Component Architecture |
Ding, Zuohua |
2008 |
207 | C |
p. 33-48 16 p. |
artikel |
|
| 3 | Automatic Verification of Combined Specifications: An Overview |
Olderog, Ernst-Rüdiger |
2008 |
207 | C |
p. 3-16 14 p. |
artikel |
|
| 4 | Barbed Model–Driven Software Development: A Case Study |
Montangero, Carlo |
2008 |
207 | C |
p. 171-186 16 p. |
artikel |
|
| 5 | Engineering of An Assertion-based PSL Simple -Verilog Dynamic Verifier by Alternating Automata |
Jin, Naiyong |
2008 |
207 | C |
p. 153-169 17 p. |
artikel |
|
| 6 | Generic Tools via General Refinement |
Reeves, Steve |
2008 |
207 | C |
p. 187-202 16 p. |
artikel |
|
| 7 | Integrating Refinement into Software Development Tools |
Yang, Lu |
2008 |
207 | C |
p. 69-88 20 p. |
artikel |
|
| 8 | On Verification of Linear Occurrence Properties of Real-Time Systems |
Changil, Choe |
2008 |
207 | C |
p. 107-120 14 p. |
artikel |
|
| 9 | Parametric Analysis of an Improved Fault Tolerant System |
Zhang, Miaomiao |
2008 |
207 | C |
p. 121-136 16 p. |
artikel |
|
| 10 | Preface |
Pu, Geguang |
2008 |
207 | C |
p. 1-2 2 p. |
artikel |
|
| 11 | Pre-Galois Connection on Coalgebras for Generic Component Refinement |
Sun, Meng |
2008 |
207 | C |
p. 203-217 15 p. |
artikel |
|
| 12 | Prototyping System Requirements Model |
Li, Xiaoshan |
2008 |
207 | C |
p. 17-32 16 p. |
artikel |
|
| 13 | Shape Analysis by Refining on Abstract Evaluation Path |
Ma, Xiaodong |
2008 |
207 | C |
p. 137-151 15 p. |
artikel |
|
| 14 | The Verification of rCOS Using Spin |
Yu, Xiao |
2008 |
207 | C |
p. 49-67 19 p. |
artikel |
14 gevonden resultaten