Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS.

Linna Pang Chen-Wei Wang Mark Lawford Alan Wassyng

Published in: FTSCS (2013)

Keyphrases

artificial intelligence
computational complexity
theorem proving
neural network
natural language
motion estimation
bit rate
timed automata