Filter
Voorwoord/editorial

Zoekresultaten

  • 2023

    Preface

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. vii-viii (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord/editorialAcademic

  • 2022

    Preface

    Groote, J. F. & Huisman, M., 2022, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Groote, J. F. & Huisman, M. (redactie). Springer, blz. v (Lecture Notes in Computer Science; vol. 13487).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord/editorialAcademic

  • 2021

    Preface

    Groote, J. F., Larsen, K. G., Lang, F., Lecomte, T., Neele, T., Jensen, P. G., Beyer, D. & Rial, A., 2021, Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Groote, J. F. & Larsen, K. G. (redactie). Springer, Vol. 1. blz. vii-viii (Lecture Notes in Computer Science; vol. 12651).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord/editorialAcademic

    Open Access
  • 2015

    Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015

    Van Glabbeek, R., Groote, J. F. & Höfner, P., 8 nov. 2015, Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 196).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord/editorialAcademic

    Open Access