Autor der Publikation

A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications.

, , und . ECMFA, Volume 7349 von Lecture Notes in Computer Science, Seite 303-318. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Qureshi, Tahir Naseer
Eine Person hinzufügen mit dem Namen Qureshi, Tahir Naseer
 

Weitere Publikationen von Autoren mit dem selben Namen

Autonomic Middleware for Automotive Embedded Systems., , , , , , , , und . Autonomic Communication, Springer, (2010)Modeling and simulation of evolvable production systems using Simulink/SimEvents., , und . IECON, Seite 2591-2596. IEEE, (2014)A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications., , und . ECMFA, Volume 7349 von Lecture Notes in Computer Science, Seite 303-318. Springer, (2012)Towards Model-Based Engineering of Self-configuring Embedded Systems., , , , und . Model-Based Engineering of Embedded Real-Time Systems, Volume 6100 von Lecture Notes in Computer Science, Seite 345-353. Springer, (2007)Towards a Model-Based Development Methodology for Evolvable Production Systems - A Domain-Specific Modeling Approach., , und . AECIA, Volume 427 von Advances in Intelligent Systems and Computing, Seite 83-92. Springer, (2015)An architectural approach to the analysis, verification and validation of software intensive embedded systems., , , , und . Computing, 95 (8): 649-688 (2013)From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme., , , und . ECSA, Volume 6903 von Lecture Notes in Computer Science, Seite 328-335. Springer, (2011)