da Silva, Leandro Dias
4450  results:
Search for persons X
?
1

Coloured Petri nets for abstract test generation in softwar..:

Sobrinho, Álvaro ; Almeida, Ially ; da Silva, Leandro Dias...
Software Testing, Verification and Reliability.  33 (2022)  2 - p. , 2022
 
?
8

An Architecture of a Gamified Application for Monitoring an..:

, In: Advances in Intelligent Systems and Computing; 17th International Conference on Information Technology–New Generations (ITNG 2020),
 
?
9

A Certification-Based Modeling Approach of Medical Cyber-Ph..:

, In: Advances in Intelligent Systems and Computing; 17th International Conference on Information Technology–New Generations (ITNG 2020),
 
?
10

Performability Analysis of a Tramway System with Virtual Ta..:

, In: 2019 9th Latin-American Symposium on Dependable Computing (LADC),
 
?
11

A Coloured Petri Nets Reference Model of Insulin Infusion P..:

, In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society,
 
?
12

A mixed-radix FFT algorithm implementation based on Petri n..:

, In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society,
 
?
 
1-15