Login / Signup
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.
Julia Padberg
Kathrin Hoffmann
Magdalena Gajewsky
Published in:
FASE (2000)
Keyphrases
</>
high level
desirable properties
complex systems
management system
low level
safety critical
distributed systems
expert systems
digital libraries
data mining
mobile devices
data sets
case study
computer systems
knowledge based systems
semantic information
multimedia
learning algorithm