( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.

, , , , , и . CoRR, (2019)

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.

Said Djawad Waezsada

Said-Yunos Waezsada

Makarius Victor Mdemu

Marina Mdaihli

md hiraj

 

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

Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles., , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 763-775. Springer, (2021)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , и . CoRR, (2019)Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis., , , , и . ACC, стр. 1839-1846. IEEE, (2017)On the applicability of hybrid systems safety verification tools from the automotive perspective., , , , и . Int. J. Softw. Tools Technol. Transf., 26 (1): 49-78 (февраля 2024)Controller synthesis for dynamic hierarchical real-time plants using timed automata., , , и . Discret. Event Dyn. Syst., 27 (2): 407-441 (2017)A Model for Hierarchical Open Real-Time Systems.. Queen's University at Kingston, Ontario, Canada, (2015)Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning., , , и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 251-271. Springer, (2022)A Model for Industrial Real-Time Systems., , , и . VMCAI, том 8931 из Lecture Notes in Computer Science, стр. 153-171. Springer, (2015)A survey of timed automata for the development of real-time systems., , и . Comput. Sci. Rev., (2013)Learning Density Distribution of Reachable States for Autonomous Systems., , , , и . CoRL, том 164 из Proceedings of Machine Learning Research, стр. 124-136. PMLR, (2021)