Demonstration of a Model-based Approach for Formal Verification of I&C Logics

Joonas Linnosmaa, Antti Pakonen, Jarmo Alanen

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

61 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Demonstration of a Model-based Approach for Formal Verification of I&C Logics'. Together they form a unique fingerprint.

Keyphrases

INIS

Computer Science