[IEEE 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) - Curitiba, PR, Brazil (2017.11.6-2017.11.10)] 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC) - Formal Verification of AADL Models Using UPPAAL
- 作者Goncalves, Fernando Silvano; Pereira, David; Tovar, Eduardo; Becker, Leandro Buss
- 文件大小533.10KB
- 发表时间2017
- DOI10.1109/SBESC.2017.22
- 页码117-124
2016 IEEE Nuclear Science Symposium & Medical Imaging ConferenceIEEE Transactions on Medical Imaging · 2016
2016 IEEE Nuclear Science Symposium & Medical Imaging ConferenceIEEE Transactions on Nuclear Science · 2016
[IEEE 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - Strasbourg, France (2016.10.29-2016.11.6)] 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - Gain stabilization of SiPMsPolak, Ivo · 2016
[IEEE 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - Strasbourg, France (2016.10.29-2016.11.6)] 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - The NA62 GigaTracker detectorGamberini, E. · 2016
2016 IEEE Nuclear Science Symposium & Medical Imaging ConferenceIEEE Transactions on Neural Systems and Rehabilitation Engineering · 2016
[IEEE 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - Strasbourg, France (2016.10.29-2016.11.6)] 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - High linearity silicon carbide detectors for medical applicationsMohamed, N. S.; Wright, N. G.; Horsfall, A. B. · 2016
[IEEE 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - Strasbourg, France (2016.10.29-2016.11.6)] 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - Signal processing for MicroBooNE experimentLi, Yichen · 2016
[IEEE 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - Strasbourg, France (2016.10.29-2016.11.6)] 2016 IEEE Nuclear Science Symposium, Medical Imaging Conference and Room-Temperature Semiconductor Detector Workshop (NSS/MIC/RTSD) - Medical image processing using brain emulationSotiropoulou, C.-L.; Luciano, P.; Gkaittzis, S.; Viti, M.; Giuliano, A.; Citraro, S.; Retico, A.; Giannetti, P.; Orso, M. Dellr · 2016