Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Forord/Indledning/efterskrift
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 proceedingForord/Indledning/efterskriftForskning

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 proceedingForord/Indledning/efterskriftForskning

Åben adgang
Fil
194 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 proceedingForord/Indledning/efterskriftForskning

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 proceedingForord/Indledning/efterskriftForskning

2005

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 proceedingForord/Indledning/efterskriftForskning

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 proceedingForord/Indledning/efterskriftForskningpeer review

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 proceedingForord/Indledning/efterskriftForskning