Formal Development of NoC Systems in B.

Leonidas Tsiopoulos Marina Waldén

Published in: Nord. J. Comput. (2006)

Keyphrases

knowledge based systems
support systems
formal methods
retrieval systems
historical perspective
technical issues
management system
distributed systems
building blocks
case study
safety critical
development efforts
neural network
communication technologies
user groups
expert systems
artificial intelligence