Verification of switching program by object oriented simulator

An object-oriented switching program verification system is presented, focusing on the basic concept and implementation of the system. The system consists of three basic functions: a model of the switching system, a simulation-control mechanism and a verification mechanism. The object-oriented appro...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Yamazaki, J., Fujii, Y., Kakemizu, M., Iwami, Y., Kishida, T., Kiyokane, Y.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!