|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Calculus for Team Automata |
ter Beek, Maurice H. |
2008 |
195 | C |
p. 41-55 15 p. |
artikel |
|
| 2 | A Compositional Automata-based Approach for Model Checking Multi-Agent Systems |
Benevides, Mario |
2008 |
195 | C |
p. 133-149 17 p. |
artikel |
|
| 3 | A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs |
Massoni, Tiago |
2008 |
195 | C |
p. 189-209 21 p. |
artikel |
|
| 4 | An Institutional Theory for #-Components |
de Carvalho-Junior, Francisco Heron |
2008 |
195 | C |
p. 113-132 20 p. |
artikel |
|
| 5 | Domain-specific Semantics and Data Refinement of Object Models |
Davies, Jim |
2008 |
195 | C |
p. 151-170 20 p. |
artikel |
|
| 6 | Formal Specification Generation from Requirement Documents |
Cabral, Gustavo |
2008 |
195 | C |
p. 171-188 18 p. |
artikel |
|
| 7 | Invariants for Non-Hierarchical Object Structures |
Middelkoop, Ronald |
2008 |
195 | C |
p. 211-229 19 p. |
artikel |
|
| 8 | [No title] |
Moreira, Anamaria Martins |
2008 |
195 | C |
p. 1- 1 p. |
artikel |
|
| 9 | Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems |
Barboza, Frederico J.R. |
2008 |
195 | C |
p. 3-20 18 p. |
artikel |
|
| 10 | Towards Deriving Test Sequences by Model Checking |
Bonifácio, Adilson Luiz |
2008 |
195 | C |
p. 21-40 20 p. |
artikel |
|
| 11 | Type Checking Circus Specifications |
Xavier, Manuela |
2008 |
195 | C |
p. 75-93 19 p. |
artikel |
|
| 12 | Undecidable Control Conditions in Graph Transformation Units |
Hölscher, Karsten |
2008 |
195 | C |
p. 95-111 17 p. |
artikel |
|
| 13 | Viewing CSP Specifications with UML-RT Diagrams |
Ferreira, Patrícia |
2008 |
195 | C |
p. 57-74 18 p. |
artikel |
13 gevonden resultaten