Model-Based Engineering of Embedded Real-Time Systemsde Holger GieseMateriasLogic designComputer system performanceComputer simulationComputer scienceSoftware engineeringModellgetriebene EntwicklungEchtzeitsystemEingebettetes SystemRequirements engineeringZuverlässigkeit
Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings