Archive ouverte UNIGE

Author / Editor

• Sassòli, Marco (2)
• Biberstein, Olivier (1)
• Buchs, Didier (1)
• Buffard, Christophe (1)
• Buffo, Mathieu (1)
• Di Marzo Serugendo, Giovanna (1)
• Flumet, Jacques (1)
• Hulaas, Jarle (1)
• Klikovits, Stefan (1)
• Koval, Oleksiy (1)
• Pun, Thierry (1)
• Quintin, Anne (1)
• Racloz, Pascal (1)
• Voloshynovskyy, Svyatoslav (1)

Document type

• Article scientifique (1)
• Chapitre d'actes (1)
• Chapitre de livre (1)
• Rapport technique (1)
• Thèse (1)

Full text accessibility

• Free access (5)

Full text version

• Accepted version (3)
• Published version (1)
• Unknown (1)

Subject

• Armes (2)
• Armes autonomes (2)
• Avertissement (2)
• Avion (2)
• Bombardement (2)
• Boucliers humains (2)
• Conduite des hostilites (2)
• Drones (2)
• Guerre aerienne (2)
• Precaution (2)
• Proportionnalite (2)
• Air warfare (1)
• Aircraft (1)
• Algebraic abstract data types (1)
• Algebraic petri nets (1)
• Arms (1)
• Autonomous weapons (1)
• Bombardment (1)
• Conduct of hostilities (1)
• Cyber-physical systems (1)
• Distributed systems (1)
• Domain-specific language (1)
• Droit international humanitaire (1)
• Droit international humanitaire. (1)
• Executable specifications (1)
• Formal methods for software engineering (1)
• High level nets (1)
• High performance (1)
• Human shields (1)