Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Preface/Introduction/postscript

Search results

  • 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. (eds.). ENTCS ed. Springer

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearchpeer-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. (eds.). Pergamon Press, p. 127-129 (Theoretical Computer Science; No. 335(2-3)).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

  • 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 p.

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

  • Preface

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

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

  • 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, Vol. 11427 LNCS. p. vi-viii (Lecture Notes in Computer Science, Vol. 11427).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

    Open Access
  • 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, Vol. 11428 LNCS. p. vii-ix (Lecture Notes in Computer Science, Vol. 11428).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

    Open Access
  • 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, Vol. 133. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

  • Proceedings of the ICTSS 2012 PhD Workshop - Preface

    Nielsen, B. & Weise, C., 19 Nov 2012, Proceedings of the ICTSS 2012 PhD Workshop - Preface. Aalborg ed. Department of Computer Science, Aalborg University, Vol. 12-201. p. 1

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

    Open Access
    File
    253 Downloads (Pure)
  • 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, Vol. 11429 LNCS. p. vii-ix (Lecture Notes in Computer Science, Vol. 11429).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

    Open Access
  • 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. (eds.). Springer Publishing Company, p. V-VI (Lecture Notes in Computer Science, Vol. 7641).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch