Login / Signup
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.
Jian Shi
Jianqi Shi
Yanhong Huang
Jiawen Xiong
Qing She
Published in:
REFSQ Workshops (2019)
Keyphrases
</>
neural network
probabilistic model
software tools
finite state machines
modeling tool
machine learning
information retrieval
knowledge base
decision trees
high level
experimental data
temporal information
metamodel
functional requirements
conceptual models
temporal evolution