Billede af Andrej Kiviriga

Andrej Kiviriga

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

    9220 Aalborg Ø

    Danmark

20202020

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.
  • 12 Lignende profiler
  • 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
    44 Downloads (Pure)
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.