Formal Methods Applied to Secure Network Engineering.

Shiu-Kai Chin John Faust Joseph Giordano

Published in: ICECCS (1996)

Keyphrases

formal methods
artificial intelligence
software engineering
databases
communication networks
database
multi agent systems
expert systems
model checker
safety critical
provably correct
process algebra