Login / Signup

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