Filter
Foreword/postscript

Search results

  • 2019

    ETAPS Foreword

    Katoen, J-P., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 11429)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

    Open Access
    File
    10 Downloads (Pure)
  • Preface to the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

    Burgue, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G., 21 Nov 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). Burgueño, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). p. xviii-xxiv

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

    Open Access
    File
    45 Downloads (Pure)
  • 2005

    Preface

    Aßmann, U., Aksit, M. & Rensink, A., 24 Oct 2005, Model Driven Architecture. Aßmann, U., Aksit, M. & Rensink, A. (eds.). Vol. 3599. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

  • 2002

    Preface

    Rensink, A. & Jacobs, B., 1 Jan 2002, Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems. Vol. 81. (IFIP advances in information and communication technology).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic