• Selma Lagerløfs Vej 300, 2-2-59

    9220 Aalborg Ø

    Danmark

20202021

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler
  • Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

    Kiviriga, A., Larsen, K. G. & Nyman, U., 2021, Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (red.). Springer Science+Business Media, s. 149-166 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12863 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    4 Downloads (Pure)
  • Randomized Refinement Checking of Timed I/O Automata

    Kiviriga, A., Larsen, K. G. & Nyman, U., 9 nov. 2020, Proceedings of SETTA 2020: Dependable Software Engineering. Theories, Tools, and Applications. Pang, J. & Zhang, L. (red.). Springer, s. 70-88 19 s. (Lecture Notes in Computer Science, Bind 12153).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    94 Downloads (Pure)