Verification of Concurrent Engineering Software Using CSM Models.

Jerzy Miescicki Mikolaj Baszun Wiktor B. Daszczuk Bogdan D. Czejdo

Published in: CoRR (2017)

Keyphrases

concurrent engineering
probabilistic model
software development
software systems
e learning
data model
management system
source code
decision support
electronic commerce
model checking
object oriented databases