Login / Signup
Performance Modelling with the Formal Specification Language SDL.
M. Bütow
Mark Mestern
C. Schapiro
Pieter S. Kritzinger
Published in:
FORTE (1996)
Keyphrases
</>
formal specification language
temporal logic
formal methods
formal specification
artificial intelligence
neural network
genetic algorithm
model checking
data mining
information systems
decision trees
data structure
special case
building blocks
fine grained