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

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   [Show ALL]
sa forum (1) Safety (1) safety criteria (1)
safety critical systems (1) safety systems (1) saturation (3)
SCC computation (1) search plans (1) search-based software engineering (2)
search-based techniques (1) secure i* (1) secure views (1)
security argumentation (1) security patterns (1) security requirements engineering (1)
semantics (2) semantics of visual techniques (1) sequence diagram (1)
service availability (1) Service Oriented Architecture (1) Simulation (1)
smart contracts (1) SMT-solvers (1) soft links (1)
Software architecture (1) Software development (1) software engineering (1)
Software testing. White-box test generation. Empirical study (1) statecharts (1) static analysis (5)
statistics (1) Stochastic analysis (1) streaming transformations (1)
symbolic execution (1) Symbolic model checking (1) system architectures (1)
system verification (2) systems engineering (1)

Publications

  • Authors
  • Keywords

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