• Selma Lagerløfs Vej 300, 1-2-50

    9220 Aalborg Ø

    Danmark

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

Publikationer 2015 2018

  • 2 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel
  • 1 Konferenceartikel i tidsskrift
Filter
Konferenceartikel i tidsskrift
2015
25 Downloads (Pure)

Parametric Verification of Weighted Systems

Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 2015, I : Open Access Series in Informatics. 44, s. 77-90

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Model checking
Linear equations
Linear systems
Mathematical operators
Semantics