Author of the publication

An Approach for Verification of a Satellite Simulator - An Evolving System.

, , , and . LADC, page 176-182. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Comparison of visual servoing technologies for robotized aerospace structural assembly and inspection., , , and . Robotics Comput. Integr. Manuf., (2022)Developing Critical Aerospace Embedded Systems with Distributed Teams Using Agile Methodologies., , and . J. Aerosp. Inf. Syst., 18 (5): 212-230 (May 2021)An Approach for Verification of a Satellite Simulator - An Evolving System., , , and . LADC, page 176-182. IEEE Computer Society, (2016)Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems., , , and . ADHS, volume 36 of IFAC Proceedings Volumes, page 87-92. Elsevier, (2003)Black-box Identification of a Robotic Flight Simulator., , and . ICARCV, page 1131-1136. IEEE, (2020)A Hybrid Approach for Safety Analysis of Aircraft Systems., and . ADHS, volume 39 of IFAC Proceedings Volumes, page 389-394. Elsevier, (2006)Benchmarking Software Requirements Documentation for Space Application., , , , , and . SAFECOMP, volume 6351 of Lecture Notes in Computer Science, page 112-125. Springer, (2010)Contributions of model checking and CoFI methodology to the development of space embedded software., , , and . Empirical Software Engineering, 19 (1): 39-68 (2014)A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector., , and . Adv. Eng. Softw., (2013)Manufacture Equipment Retrofit to Allow Usage in the Industry 4.0., , , , , , and . CRC, page 155-161. IEEE, (2017)