?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
4
Symbolic Reasoning for Early Decision-Making in Model-Based..:
, In:
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
6
Towards an Ontological Framework for Validity Frames:
, In:
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
8
Towards Ontology Enabled Agent-Based Twinning for Cyber-Phy..:
, In:
?
10
Formal Methods: Foundations and Applications: 25th Brazilia..
Lecture Notes in Computer Science, 13768
?
Lecture Notes in Computer Science; Formal Methods: Foundations and Applications ,
12
Visual Specification of Properties for Robotic Designs:
, In:
?
Proceedings of the 12th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining ,
13
Identifying and characterizing alternative news media on Fa..:
, In:
?
Proceedings of the 12th IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining ,
14