Counterexample visualization and explanation for function block diagrams

Antti Pakonen
, Igor Buzhinsky
, Valeriy Vyatkin

Aalto University

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

16 Citations (Scopus)

709 Downloads (Pure)

1 results

Filter

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