203 resultados para ERP Systems
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP