Login / Signup

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models.

Alban RasseJean-Marc PerronnePierre-Alain MullerBernard Thirion
Published in: MoDELS (Satellite Events) (2005)
Keyphrases
  • object oriented
  • model checking
  • process algebra
  • machine learning
  • artificial intelligence
  • relational databases
  • distributed systems
  • building blocks