Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems

Majzik, I [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Domokos, P; Magyar, M [Magyar, Melinda (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: Schnieder E. FORMS/FORMAT 2007: Formal Methods for Automation and Safety in Railway and Automotive Systeme. (2007) ISBN:97839376550903 pp. 342-352
    Azonosítók
    Idézők (1)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2023-09-25 22:00