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
      • CECRIS
      • CONCERTO
      • MONDO
      • MoDeS3
      • R5-COP
      • Theta4PLCverif
      • e-Freight
    • Tools
  • Publications
    • Authors
    • Keywords
  • About Us
    • Members
    • Location
    • Partners and Sponsors

Model-based Demonstrator for Smart and Safe Systems

2015
Contact: 
Zoltán Micskei
Contact: 
István Zoltán Ráth
Contact: 
Dániel Varró
Contact: 
András Vörös
  • « first
  • ‹ previous
  • 1
  • 2
  • 3
  • 4
  • 5

Research

  • Research Directions
  • Application Areas
  • Projects
    • CECRIS
    • CONCERTO
    • MONDO
    • MoDeS3
    • R5-COP
    • Theta4PLCverif
    • e-Freight
  • Tools

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