Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Forord/Indledning/efterskrift

Søgeresultater

  • 2023

    Preface

    Caltais, G. & Schilling, C., 2023, Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Springer, 1 s. (Lecture Notes in Computer Science, Bind 13872 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

    Åben adgang
  • 2019

    Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengál, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. Springer, Bind 11428 LNCS. s. vii-ix (Lecture Notes in Computer Science, Bind 11428).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

    Åben adgang

  • Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. Springer, Bind 11427 LNCS. s. vi-viii (Lecture Notes in Computer Science, Bind 11427).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

    Åben adgang

  • TACAS Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O. & Hahn, E. M., 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. Springer, Bind 11429 LNCS. s. vii-ix (Lecture Notes in Computer Science, Bind 11429).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

    Åben adgang
  • 2013

    Preface

    Larsen, K. G., Legay, A. & Nyman, U., 3 nov. 2013, Proceedings 1st Workshop on Advances in Systems of Systems. Electronic Proceedings in Theoretical Computer Science, Bind 133. s. 1-1 (Electronic Proceedings in Theoretical Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

  • 2012

    Proceedings of the ICTSS 2012 PhD Workshop - Preface

    Nielsen, B. & Weise, C., 19 nov. 2012, Proceedings of the ICTSS 2012 PhD Workshop - Preface. Aalborg udg. Department of Computer Science, Aalborg University, Bind 12-201. s. 1

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

    Åben adgang
    Fil
    304 Downloads (Pure)

  • Testing Software and Systems - Preface: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

    Nielsen, B. & Weise, C., nov. 2012, Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Nielsen, B. & Weise, C. (red.). Springer Publishing Company, s. V-VI (Lecture Notes in Computer Science, Bind 7641).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

  • 2011

    Message from the Chairs

    Wellings, A. & Ravn, A. P., aug. 2011, Proceedings of the 9th The International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, 1 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

  • 2005

    Foreword

    Srba, J. & Smolka, S. A., 2005, Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). Srba, J. & Smolka, S. A. (red.). ENTCS udg. Springer

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning › peer review

  • Foreword

    Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A., 2005, Theoretical Computer Science, Special Issue on Process Algebra. Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A. (red.). Pergamon Press, s. 127-129 (Theoretical Computer Science; Nr. 335(2-3)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

  • Preface

    Aceto, L., Fokkink, W. & Ulidowski, I., 2005, Proceedings of the Workshop on Structural Operational Semantics (SOS 2004). Pergamon Press, s. 1 (Electronic Notes in Theoretical Computer Science; Nr. 1, Bind 128).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning