Consistency Checking between Structured Diagrams based on Formal Methods.

Computer Software

Print ISSN : 0289-6540

Consistency Checking between Structured Diagrams based on Formal Methods.

Shori Kono, Han-Myuing Chang, Keijiro Araki

Author information

JOURNAL FREE ACCESS

1998 Volume 15 Issue 3 Pages 3_190-3_204

DOI https://doi.org/10.11309/jssst.15.3_190

Details

Abstract

Content from these authors

© 1998, Japan Society for Software Science and Technology

Favorites & Alerts

Related articles

Recently viewed articles

Efficient conformal tetrahedral finite element mesh generation for moving objects with contact by mesh adaptation
Large-scale parallel finite element analysis of interface failure in CFRP models
[title in Japanese]
Assessment of the proportion of recent HIV-1 infections in newly-diagnosed cases in Ghana
304) Disposition of Dining Space and Cooking Space Viewed Through-The Behaviors to Spread and Clear the Table and to approach the Dining Space in Gunma Prefecture and Chiba Prefecture(Scientefic Basis of Planning Building)

Top