formal specification

Label

• formal specification (literal)

Membro di

• Keywords of "Integrating Performance Analysis in the Context of LOTOS-Based Design" (Insieme di parole chiave)
• Parole chiave di "Probabilistic Characterization of Algebraic Protocol Specifications" (Insieme di parole chiave)
• Keywords of "A Static Semantic Analyzer for LOTOS Specifications" (Insieme di parole chiave)
• Keywords of "Towards Abnormal Behavior Detection of Cognitive Impaired People" (Insieme di parole chiave)
• Parole chiave di "Formal modelling and verification of an asynchronous extension of SOAP" (Insieme di parole chiave)
• Parole chiave di "An Abstract Execution Model for Basic LOTOS" (Insieme di parole chiave)
• Keywords of "Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS" (Insieme di parole chiave)
• Keywords of "A Graphical Tool for Protocol Design with Estelle" (Insieme di parole chiave)
• Keywords of "Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems" (Insieme di parole chiave)
• Parole chiave di "Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines" (Insieme di parole chiave)
• Parole chiave di "A Protocol for Multirendezvous of LOTOS Processes" (Insieme di parole chiave)

Value

• formal specification (literal)

Incoming links:

Ha membro

• Keywords of "A Static Semantic Analyzer for LOTOS Specifications" (Insieme di parole chiave)
• Parole chiave di "Probabilistic Characterization of Algebraic Protocol Specifications" (Insieme di parole chiave)
• Keywords of "Integrating Performance Analysis in the Context of LOTOS-Based Design" (Insieme di parole chiave)
• Keywords of "A Graphical Tool for Protocol Design with Estelle" (Insieme di parole chiave)
• Parole chiave di "An Abstract Execution Model for Basic LOTOS" (Insieme di parole chiave)
• Parole chiave di "A Protocol for Multirendezvous of LOTOS Processes" (Insieme di parole chiave)
• Keywords of "Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS" (Insieme di parole chiave)
• Parole chiave di "Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines" (Insieme di parole chiave)
• Keywords of "Towards Abnormal Behavior Detection of Cognitive Impaired People" (Insieme di parole chiave)
• Parole chiave di "Formal modelling and verification of an asynchronous extension of SOAP" (Insieme di parole chiave)
• Keywords of "Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems" (Insieme di parole chiave)