C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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