Personensuche
X
?
Special Topics in Information Technology; SpringerBriefs in Applied Sciences and Technology ,
13
Model-Driven Development of Formally Verified Human-Robot I..:
, In:
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
14