|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A CSP model with flexible parallel termination semantics |
Howells, Paul |
2008 |
21 | 5 |
p. 421-449 |
artikel |
|
| 2 | A formal framework for modeling and validating Simulink diagrams |
Chen, Chunqing |
2009 |
21 | 5 |
p. 451-483 |
artikel |
|
| 3 | A formalism to describe design patterns based on role concepts |
Kim, Soon-Kyeong |
2008 |
21 | 5 |
p. 397-420 |
artikel |
|
| 4 | A framework for Satisfiability Modulo Theories |
Kroening, Daniel |
2009 |
21 | 5 |
p. 485-494 |
artikel |
|
| 5 | A rigorous methodology for specification and verification of business processes |
Masalagiu, Cristian |
2009 |
21 | 5 |
p. 495-510 |
artikel |
|
| 6 | Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009 |
Bornat, Richard |
|
21 | 5 |
p. 393-395 |
artikel |
|
| 7 | Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009 |
Bornat, Richard |
2009 |
21 | 5 |
p. 393-395 |
artikel |
7 gevonden resultaten