Filter
Foreword/postscript

Search results

  • 2024

    ETAPS Foreword

    Huisman, M., 2024, Foundations of software science and computation structures: 27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II. Kobayashi, N. & Worrell, J. (eds.). Cham: Springer Nature, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575).

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

    Open Access
    File
    24 Downloads (Pure)
  • 2023

    Preface

    Huisman, M. & Ravara, A., 2023, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings. Huisman, M. & Ravara, A. (eds.). Cham, Switzerland: Springer, p. vii-viii 2 p. (Lecture Notes in Computer Science; vol. 13910).

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

    14 Downloads (Pure)
  • 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
    41 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
    99 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

    1 Downloads (Pure)
  • 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