Browsing School of Electronic Engineering and Computer Science by Author "Yamada, A"

Now showing items 1-1 of 1

    • TOOLympics 2019: An Overview of Competitions in Formal Methods 

      NAGELE, J; Bartocci, E; Beyer, D; Black, PE; Fedyukovich, G; Garavel, H; Hartmanns, A; Huisman, M; Kordon, F; Sighireanu, M (Springer Verlag, 2019-04-04)
      Evaluation of scientific contributions can be done in many different ways. For the various research communities working on the verification of systems (software, hardware, or the underlying involved mechanisms), it is ...