FACC activities/positions in methodology, verification, and trusted systems.

Lawrence Yelowitz

Published in: ACM SIGSOFT Softw. Eng. Notes (1981)

Keyphrases

management system
complex systems
computing systems
formal methods
trading systems
statistical machine learning
database
machine learning
artificial intelligence
knowledge base
website
distributed systems
intelligent systems
computer systems
asynchronous circuits