Terms

Description Grammar - Description Logic

Description Grammar - Description Logic Argonaute: graphical description, semantics and verification of reactive systems by using a process algebra. semantic instructions Semantic Rules semantic procedures Semantic Processes Semantic Processor Semantic Methods Semantic Tools Command Syntax - Command Semantics Graphical Description, Semantics, Verification
Back