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

Declarative mapping between abstract and concrete syntax of domain-specific visual languages › Formal Verification of Safety Functions by Reinterpretation of Functional Block based Specifications › Graph Triggers and Incrementally Evaluated Queries over EMF Models › User-defined Sandbox Behavior for Dynamic Symbolic Execution › Automated Robustness Test Generation using OCL Constraints ›

Development of Model Based Tools to Support the Design of Railway Control Applications

CímDevelopment of Model Based Tools to Support the Design of Railway Control Applications
Közlemény típusaConference Paper
Kiadás éve2007
SzerzőkMajzik, I., Micskei, Z., and Pintér, G.
Konferencia neveComputer Safety, Reliability, and Security
Kiadás dátuma2007
KiadóSpringer-Verlag
Konferencia helyszíneBerlin
URLhttp://www.mit.bme.hu/~pinter/publications-files/majzik-micskei-pinter-2007-safecomp-development-of-model-based-tools-to-support-the-design-of-railway-control-applications.pdf
  • 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