Kezdőlap
Hibatűrő Rendszerek Kutatócsoport
Méréstechnika és Információs Rendszerek Tanszék
BME Logo

Elsődleges linkek

  • Kezdőlap
  • Események
  • Oktatás
    • Specializációválasztás
    • BSc tárgyak (Új képzés)
    • MSc tárgyak (Új képzés)
    • Önálló munka
    • Választható tárgyak
    • Doktori tárgyak
    • Korábbi tárgyak
  • Kutatás
    • Kutatási területek
    • Alkalmazási területek
    • Projektek
    • Eszközök
    • Publikációk
  • Hallgatóink sikerei
    • Kari TDK eredmények
    • Országos TDK eredmények
  • Magunkról
    • Munkatársak
    • Megközelítés
    • Partnereink
    • IBM Center of Advanced Studies

Primary Links

Automated Dependability Analysis of UML Designs › Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers › Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms › PLCverif: A tool to verify PLC programs based on model checking techniques › Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach ›

Contextual Graph Triggers

CímContextual Graph Triggers
Közlemény típusaConference Paper
Kiadás éve2010
SzerzőkBergmann, G.
Konferencia neveProceedings of the 17th PhD Minisymposium
KiadóBudapest University of Technology and Economics, Department of Measurement and Information Systems
PDF: 
application/pdf iconFull text
  • BibTex

Nyelvek

  • English
  • Magyar
BME Címtár belépés

Belépés

Leírások

  • Dokumentáció és mérési jegyzőkönyvek készítése
  • Házi feladatok és jegyzőkönyvek leadása
  • IT szolgáltatások
  • Egyéb leírások

Navigáció

  • Conference materials

  • Oldaltérkép
  • Megközelítés
  • Levél a webmesternek