Login / Signup
Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines.
Christof Kaukewitsch
Henrik Papist
Marc Zeller
Martin Rothfelder
Published in:
CoRR (2020)
Keyphrases
</>
state machines
state machine
sequence diagrams
petri net
fault tolerant
finite state machines
intermediate representation
high level
test cases
real time
software systems
software engineering
load balancing
modeling language
conceptual models
artificial neural networks
recurrent networks
relational databases