Sökning: "Kenji Taguchi"
Hittade 1 avhandling innehållade orden Kenji Taguchi.
1. Integrating the Z notation and behavioural formalisms
Sammanfattning : The last several years have witnessed an increasing interest in integrating different formalisms in the formal methods research community. Particularly a number of notations have been proposed by different authors which integrate existing state-based formalisms such as Z, VDM and B and behavioural formalisms such as CCS, CSP and Statecharts. LÄS MER
Resultatsidor:
1