Results 141 to 150 of about 512,676 (214)

Hierarchical controller synthesis using ( γ , δ )-Similarity. [PDF]

open access: yesMath Control Signal Syst
Pirastehzad A   +2 more
europepmc   +1 more source

A Specification Translation from Behavioral Specifications to Rewrite Specifications

open access: yesA Specification Translation from Behavioral Specifications to Rewrite Specifications
There are two ways to describe a state machine as an algebraic specification: a behavioral specification and a rewrite specification. In this study, we propose a translation system from behavioral specifications to rewrite specifications to obtain a verification system which has the strong points of verification techniques for both specifications ...
openaire  

A Specification Translation from behavioral Specification to rewrite Specifications

open access: yesA Specification Translation from behavioral Specification to rewrite Specifications
There are two ways to describe a state machine as an algebraic specification: a behavioral specification and a rewrite specification. In this study, we propose a translation system from behavioral specifications to rewrite specifications to obtain a verification system which has the strong points of verification techniques for both specifications ...
openaire  

Home - About - Disclaimer - Privacy