Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg




Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Larsen, K. G. (red.) & Willemse, T. (red.), 2019, Springer Publishing Company. (Lecture Notes in Computer Science, Bind 11687).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Margaria, T. (red.), Graf, S. (red.) & Larsen, K. G. (red.), 2019, Springer Publishing Company. (Theoretical Computer Science and General Issues, Bind 11200).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review


Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, L. (red.), Bacci, G. (red.), Bacci, G. (red.), Ingolfsdottir, A. (red.), Larsen, K. G. (red.), Legay, A. (red.) & Mardare, R. I. (red.), 2017, Springer. 1 s. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Bind 10460).

Publikation: Bog/antologi/afhandling/rapportAntologi


Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Probst, C. W. (red.), Hankin, C. (red.) & Hansen, R. R. (red.), 2016, Springer. (Lecture Notes in Computer Science, Bind 9560).

Publikation: Bog/antologi/afhandling/rapportAntologi


Proceedings of the ICTSS 2012 Ph.D. Workshop

Weise, C. (red.) & Nielsen, B. (red.), 19 nov. 2012, Aalborg.

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Åben adgang
680 Downloads (Pure)

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

Nielsen, B. (red.) & Weise, C. (red.), nov. 2012, Springer Publishing Company. (Lecture Notes in Computer Science, Bind 7641).

Publikation: Bog/antologi/afhandling/rapportAntologi


Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009

Liu, Z. (red.) & Ravn, A. P. (red.), 2009, Springer. (Lecture Notes in Computer Science, Bind 5799).

Publikation: Bog/antologi/afhandling/rapportAntologi


Proceedings of the Workshop on Structural Operational Semantics, (SOS 2004), London, England, August 30, 2004

Aceto, L. (red.), Fokkink, W. (red.) & Ulidowski, I. (red.), 2005, Pergamon Press. 122 s. (Electronic Notes in Theoretical Computer Science; Nr. 1, Bind 128).

Publikation: Bog/antologi/afhandling/rapportAntologi


Proceedings of 4th International Workshop on Formal Approaches to Software Testing

Grabowski, J. (red.) & Nielsen, B. (red.), 2004, 1 udg. Germany: Springer. 227 s.

Publikation: Bog/antologi/afhandling/rapportAntologi