Login / Signup

Checking Amalgamability Conditions for C ASL Architectural Specifications.

Bartek KlinPiotr HoffmanAndrzej TarleckiLutz SchröderTill Mossakowski
Published in: MFCS (2001)
Keyphrases
  • sufficient conditions
  • software architecture
  • consistency checking
  • data sets
  • neural network
  • data mining
  • high level
  • artificial neural networks
  • spatio temporal
  • delay insensitive