( en | de | ru )

 

Disambiguierung von "Villani, Emília"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination.

, , und . PRDC, Seite 321-328. IEEE Computer Society, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Emília Orságová

Maria Emília Carvalho Salgueiro

Emilia Schmid

Emilia Ruff

Emilia Noorsal

 

Weitere Publikationen von Autoren mit dem selben Namen

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