Login / Signup
Verification of Non-functional Properties of a Composable Architecture with Petrinets.
Jan Richling
Louchka Popova-Zeugmann
Matthias Werner
Published in:
Fundam. Informaticae (2002)
Keyphrases
</>
model checking
real time
management system
network architecture
layered architecture
genetic algorithm
case study
software architecture
loosely coupled
data sets
databases
data flow
reference model
formal verification