Author of the publication

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination.

, , and . PRDC, page 321-328. IEEE Computer Society, (2017)

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)Contributions of model checking and CoFI methodology to the development of space embedded software., , , and . Empirical Software Engineering, 19 (1): 39-68 (2014)Benchmarking Software Requirements Documentation for Space Application., , , , , and . SAFECOMP, volume 6351 of Lecture Notes in Computer Science, page 112-125. Springer, (2010)A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector., , and . Adv. Eng. Softw., (2013)Errors on Space Software Requirements: A Field Study and Application Scenarios., , , , , and . ISSRE, page 61-70. IEEE Computer Society, (2010)