Completeness and Consistency Analysis of UML Statechart Specifications

Pap, Zs; Majzik, I [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Pataricza, A [Pataricza, András (Számítástechnika,...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Szegi, A [Szegi, András (információs rends...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: J Hlavicka. IEEE design and diagnostics of electronic circuits and systems - IEEE DDECS 2001: fourth International workshop on IEEE design and diagnostics of electronic circuits and systems, Győr, Hungary, April 18-20, 2001. (2001) ISBN:9637175164 pp. 83-90
    Azonosítók
    Idézők (23)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2024-10-13 12:26