مواد مشابهة: Specification and verification of object-oriented software components
- Automated Reasoning with Analytic Tableaux and Related Methods
- Fundamental Approaches to Software Engineering
- Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
- Computer Aided Verification
- Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
- Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
موضوع: QA75.5-76.95
- CLEI Electronic Journal
- Ein neues Konzept für die geberlose Regelung von Permanentmagnet-Synchronmaschinen für Hybrid- und Elektrofahrzeuge
- Semantisches Informationsmodell für die Betriebsunterstützung dienstorientierter Systeme
- Adaptive Verhaltensentscheidung und Bahnplanung für kognitive Automobile
- Coupled model transformations for QoS enabled component-based software design
- Organisation, Repräsentation und Analyse menschlicher Ganzkörperbewegung für die datengetriebene Bewegungsgenerierung bei humanoiden Robotern