Login / Signup
ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction.
Martin Kardos
Ulrich Nickel
Published in:
Abstract State Machines (2003)
Keyphrases
</>
levels of abstraction
control system
abstraction levels
distributed architecture
multiple independent
real time
distributed systems
distributed environment
lightweight
formal verification
cooperative
multi agent
model checking
face verification
heterogeneous databases
production process
web environment