( en | de | ru )

 

Disambiguierung von "Mohalik, Swarup"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying timing synchronization constraints in distributed embedded architectures.

, , und . DATE, Seite 200-205. IEEE, (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.

Krishna Swarup Jauhri

 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional Reasoning Using the Assumption-Commitment Paradigm., und . COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 565-583. Springer, (1997)Assumption-Commitment in Automata., und . FSTTCS, Volume 1346 von Lecture Notes in Computer Science, Seite 153-168. Springer, (1997)Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones., , , , , , , , und . IROS, Seite 6733-6740. IEEE, (2020)Towards 5G-Aware Robot Planning for Industrial Applications., , , , und . ETFA, Seite 1-8. IEEE, (2022)Scalable model-checking for precise end-to-end latency computation., , , , und . CACSD, Seite 19-24. IEEE, (2013)Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery., , , , und . CoRR, (2024)AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems., , , , , und . CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 204-208. Springer, (2008)MUESLI: Multi-objective Radio Resource Slice Management via Reinforcement Learning., , und . NetSoft, Seite 133-138. IEEE, (2022)RoboPlan5G: Coordinating Cloud-Controlled Mobile Robots with 5G Network Configuration., , , , und . ETFA, Seite 1-8. IEEE, (2023)Verifying timing synchronization constraints in distributed embedded architectures., , und . DATE, Seite 200-205. IEEE, (2012)