• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain.

Jan PeleskaArtur HonischFlorian LapschiesHelge LödingHermann SchmidPeer SmudaElena VorobevCornelia Zahlten
Published in: ICTSS (2011)
Keyphrases
  • real world
  • real time systems
  • case study
  • computational model
  • test data
  • domain models
  • real time
  • high level
  • probabilistic model
  • automatically generated
  • computational models