|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Algebraic Theory Of Boundary Crossing Transitions |
Ray, Arnab |
2005 |
115 | C |
p. 69-88 20 p. |
artikel |
|
| 2 | Combining Sequence Diagrams and OCL for Liveness |
Cavarra, Alessandra |
2005 |
115 | C |
p. 19-38 20 p. |
artikel |
|
| 3 | Formalizing UML Models and OCL Constraints in PVS |
Kyas, Marcel |
2005 |
115 | C |
p. 39-47 9 p. |
artikel |
|
| 4 | Integrating the Semantics of Deterministic Multi-layered Communication Systems |
Crespo, Rui Gustavo |
2005 |
115 | C |
p. 59-68 10 p. |
artikel |
|
| 5 | Interacting Extended State Diagrams |
Salaün, Gwen |
2005 |
115 | C |
p. 49-57 9 p. |
artikel |
|
| 6 | On Succinctness of Hierarchical State Diagrams in Absence of Message Passing |
Wa̧sowski, Andrzej |
2005 |
115 | C |
p. 89-97 9 p. |
artikel |
|
| 7 | Preface |
Lüttgen, Gerald |
2005 |
115 | C |
p. 1-2 2 p. |
artikel |
|
| 8 | Semantics and Analysis of Instruction List Programs |
Huuck, Ralf |
2005 |
115 | C |
p. 3-18 16 p. |
artikel |
8 gevonden resultaten