Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
Primary Links
Home
Events
Education
Critical Embedded Systems
System Modelling
Software and Systems Verification
Formal Methods
Software Verification and Validation
Research
Research Directions
Application Areas
Projects
Tools
Publications
Authors
Keywords
About Us
Members
Location
Partners and Sponsors
Search this site:
Systemmodellierung (német Rendszermodellezés)
›
Formális módszerek - Segédanyagok
›
Dependability and Security by Enhanced Reconfigurability (DESEREC)
›
Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2
›
Autonóm és hibatűrő informatikai rendszerek - Segédanyagok
Félév: 2013. ősz
Title
Egyedi szöveg
2013 évi vizsgatételek
2013_tetelsor.pdf
Félév: 2012. ősz
Title
Egyedi szöveg
Vizuális analízis - fóliák
2012_Autonom_vizualis_analizis.pptx
Benchmarking és szolgáltatásbiztonság
2012_Autonom_benchmarking.pptx
Hibatűrő rendszerek tervezési mintái
2012_Autonom_hibaturo_szoftverek_tervezesi_mintai.pptx
Alapfogalmak, bevezetés, CoMiFin esettanulmány
2012_Autonom_bevezetes.pptx
Ritka kategóriák analízise
2012_Autonom_rare_categories.pptx
Félév: 2011. ősz
Title
Egyedi szöveg
Hibatűrő szoftverrendszerek tervezési mintái
2011_Autonom_hibaturo_szoftverek_tervezesi_mintai.pptx
Error Propagation Analysis fóliák (draft)
2011_Autonom_EPA_draft.pptx
Diagnosztikai alapfogalmak, CSP alapú EPA
2011_Autonom_Diagnosztika_es_CSP.pptx
Ellenőrző kérdések a ZH-ra
2011_ellenorzo_kerdesek.pdf
Komplex eseményfeldolgozás és a CoMiFin projekt
CEP-comifin.pdf
ZH eredmények
eredmenyek.pdf
Szolgáltatásbiztonsági benchmarkok
Benchmarking_v3.pptx
TPCC eredmények vizuális feltáró adatanalízise R-rel
TPCC_visanal_R.zip
segédfóliák: P2P tagsági kép, "health status" és feszítőfa-protokollok
P2P.pptx
« first
‹ previous
1
2
Languages
BME EduID Sign on
Login
User login
Username:
*
Password:
*
Leírások
Submitting homework and lab assignments
IT Services
Egyéb leírások
Navigation
Conference materials
