Title: Model-Based Engineering of Embedded Real-Time Systems
Subjects: Logic design, Computer system performance, Computer simulation, Computer science, Software engineering, Modellgetriebene Entwicklung, Echtzeitsystem, Eingebettetes System, Requirements engineering, Zuverlässigkeit, Embedded computer systems, Congresses, Entwurfssprache, Engineering, System Performance and Evaluation, Simulation and Modeling, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques