Login / Signup
A methodology for verification and analysis of parallel and distributed systems requirements specifications.
Khalid Lateef
Hany H. Ammar
Vinay Mogulothu
Tooraj Nikzadeh
Published in:
PDSE (1997)
Keyphrases
</>
statistical analysis
artificial intelligence
high level
functional requirements
real time
neural network
website
digital libraries
artificial neural networks
object oriented
logic programs
quantitative analysis
class diagram
failure modes and effects