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
      • Szerzők
      • Kulcsszavak
  • 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

Keywords

A B C D E F G H I J K L M N O P Q R S [T] U V W X Y Z   [MINDENT mutat]
taxonomy (1) temporal logic (1) termination (1)
Test classification (1) test comparator (1) test coverage (1)
test evaluation (1) test generation (1) testing (2)
time (1) tool contest (1) tool integration (1)
Tool support (1) traceability (2) Trans-IMA (1)
transformation generation (1) transformation rule derivation (1) type checking (5)

Kutatás

  • Kutatási területek
  • Alkalmazási területek
  • Projektek
  • Eszközök
  • Publikációk
    • Szerzők
    • Kulcsszavak

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