Search for persons
X
?
Cardiovascular Disease in AIDS ,
1
Natural History of HIV Infection and Evolution of Antiretro..:
, In:
?
2005 International Conference on Information and Communication Technology ,
2
Evaluating Web applications testability by combining metric..:
, In:
?
WAIMH Handbook of Infant and Early Childhood Mental Health ,
3
The Paths of Intersubjectivity During Infancy:
, In:
?
2023 IEEE Colombian Caribbean Conference (C3) ,
4
A Battery Energy Storage System as an Alternative for Mitig..:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
5
The 4SECURail Case Study on Rigorous Standard Interface Spe..:
, In:
?
2023 15th IEEE International Conference on Industry Applications (INDUSCON) ,
6
Generalized Predictive Control Design with Colored Noise: A..:
, In:
?
2023 IEEE 8th Southern Power Electronics Conference and 17th Brazilian Power Electronics Conference (SPEC/COBEP) ,
7
Impact Analysis on Variable-Speed Drives Under Unbalanced G..:
, In:
?
2022 10th International Conference on Systems and Control (ICSC) ,
8
Linear and Nonlinear control of a Visual Servoing system wi..:
, In:
?
Springer Proceedings in Energy; Improving Energy Efficiency in Commercial Buildings and Smart Communities ,
9
EU-Financed LIFE-Diademe Project: Additional Energy Savings..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications ,
10
Designing a Demonstrator of Formal Methods for Railways Inf..:
, In:
?
Internet Science; Lecture Notes in Computer Science ,
11
Nudges Driven Networks: Towards More Acceptable Recommendat..:
, In:
?
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science ,
12
Survey on Formal Methods and Tools in Railways: The ASTRail..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
13
On the Industrial Uptake of Formal Methods in the Railway D..:
, In:
?