( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.

, , , , , и . CAV, том 5123 из Lecture Notes in Computer Science, стр. 204-208. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Krishna Swarup Jauhri

 

Другие публикации лиц с тем же именем

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