Model verification system, model verification method, and recording medium

A model verification system includes a formal language conversion part operable to convert model figure data registered as a design pattern in association with a program into formal language expression data based upon an expression format of a predetermined formal language, and a formal language inc...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	MATSUMOTO SHIGEAKI
Format:	Patent
Sprache:	eng
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!