Search for persons
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
1
Event-B Development of Modelling Human Intervention Request..:
, In:
?
Recent Advances in Environmental Science from the Euro-Mediterranean and Surrounding Regions (4th Edition); Advances in Science, Technology & Innovation ,
2
Microbial Biomass and Enzymatic Activity in the Rhizosphere..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
3
Designing Critical Systems Using Hierarchical STPA and Even..:
, In:
?
2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC) ,
5
A Rigorous Iterative Analysis Approach for Capturing the Sa..:
, In:
?
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) ,
7
High-Level Rigorous Template for Analysing Safety Propertie..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
8
Improving Trustworthiness of Self-driving Systems:
, In:
?
Proceedings of the 26th International Conference on World Wide Web Companion ,
9
Post Summarization of Microblogs of Sporting Events:
, In:
?
Lecture Notes in Civil Engineering; Advances in Transportation Geotechnics IV ,
10
Challenges in Developing Sustainable Infrastructure Case Hi..:
, In:
?
2011 6th International Conference on Telecommunication Systems, Services, and Applications (TSSA) ,
11
Distributed orthogonal space-time coding with relay selecti..:
, In:
?
2020 International Conference on Advanced Computer Science and Information Systems (ICACSIS) ,
12