Old Web
English
Sign In
Acemap
>
authorDetail
>
Henrique Masini
Henrique Masini
Embraer
Real-time computing
Computer science
Software verification
Life-critical system
Model-based testing
2
Papers
2
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
An approach to generate optimized cyclic scheduling from AADL specification
2014
DAS | Document Analysis Systems
Henrique Masini
Ricardo Bedin França
Celso Massaki Hirata
Juliana de Melo Bezerra
Show All
Source
Cite
Save
Citations (0)
1