Login / Signup

Functional Modeling and Reasoning about Hazards.

Jing WuMorten LindXinxin Zhang
Published in: ICSRS (2022)
Keyphrases
  • high level
  • relational databases
  • functional analysis