System theory - Congresses. - Mathematical models

Verification of infinite-state systems with applications to security by: (書目-電子資源)

System theory- Security measures

Computer software- Verification.

Computer security

System theory- Mathematical models