× Modeling and Verification of Real-time Systems: Formalisms and Software ToolsQuelle: amazon.de, abgerufen am 15.07.2025 17:47:33