Home
Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
BME Logo

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

István Majzik

  • View
  • Projects
  • Publications
  • Scientific Contributions
Model-based Generation of Tests for Dependable Embedded Systems (MOGENTES)
Assessing, Measuring and Benchmarking Resilience (AMBER)
Safe Driver Machine Interface (DMI) for ERTMS automatic train control (SAFEDMI)
Resilience for Survivability in IST (RESIST)
EU-conform, constructive safety assessment of railway control systems
Quality of Service and Dependable Computer Networks
Intelligent Measurement Data Processing for the Construction of Dependable IT Systems
Self-checking and run-time verification in computer programs
Development of robust object-oriented systems
Formal verification of safety requirements in fault tolerant systems
Resilient Reasoning Robotic Co-operating Systems (R3-COP)
Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (R5-COP)
Application of Formal Methods to Verify Industrial Control Code (Theta4PLCverif)

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login

Leírások

  • Submitting homework and lab assignments
  • IT Services
  • Egyéb leírások

Navigation

  • Conference materials

  • Sitemap
  • Location
  • Contact Webmaster