Skip to main navigation Skip to search Skip to main content

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

  • Antti Pakonen
  • , Cheng Pang
  • , Igor Buzhinsky
  • , Valeriy Vyatkin
    • Aalto University

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    28   Link opens in a new tab Citations (Scopus)

    Search results

    • Finished

      SAUNA: Integrated safety assessment and justification of nuclear power plant automation

      Pakonen, A. (Manager), Tommila, T. (Participant), Alanen, J. (Participant), Björkman, K. (Participant), Laarni, J. (Participant), Lahtinen, J. (Participant), Oedewald, P. (Participant), Papakonstantinou, N. (Participant), Reiman, T. (Participant), Tyrväinen, T. (Participant), Valkonen, J. (Participant), Koskinen, H. (Participant), Porthin, M. (Participant), Savioja, P. (Participant), Linnosmaa, J. (Participant), Vyatkin, V. (Participant), Pang, C. (Participant), Buzhinsky, I. (Participant), Varkoi, T. (Participant), Nevalainen, R. (Participant), Holmberg, J.-E. (Participant), Uusitalo, E. (Participant) & Koskela, M. (Participant)

      1/02/15 → 31/01/19

      Project: Research