Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering.

Gérard Le Lann Paul Simon

Published in: CSDM (2010)

Keyphrases

intelligent systems
computer systems
learning systems
retrieval systems
engineering systems
artificial intelligence
website
case study
digital libraries
management system
theorem prover
computing systems