Filter
Hoofdstuk

Zoekresultaten

  • 2023

    Assume-Guarantee Reasoning for Additive Hybrid Behaviour

    Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (uitgave). Springer, blz. 297-322 26 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14080 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • 2016

    Nomadic service discovery in smart cities

    Stolikj, M., Lukkien, J. J., Cuijpers, P. J. L. & Buchina, N., 13 mei 2016, Smart Cities and Homes : Key Enabling Technologies. Obaidat, M. & Nicopolitidis, P. (uitgave). Amsterdam: Elsevier, blz. 59-90 32 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    1 Citaat (Scopus)
    9 Downloads (Pure)