Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Antologi
2019

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

2017

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

2016

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

2012

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
Fil
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

2009

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

2005

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

2004

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