-
1مؤتمر
المساهمون: University of Sannio Benevento, Elvira Albert, Ivan Lanese, TC 6, WG 6.1
المصدر: Lecture Notes in Computer Science ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01432919Test ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
مصطلحات موضوعية: Malware, Android, Security, Formal methods, Temporal logic, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
العلاقة: hal-01432919; https://hal.inria.fr/hal-01432919Test; https://hal.inria.fr/hal-01432919/documentTest; https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest
الإتاحة: https://doi.org/10.1007/978-3-319-39570-8_14Test
https://hal.inria.fr/hal-01432919Test
https://hal.inria.fr/hal-01432919/documentTest
https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest -
2مؤتمر
المساهمون: University of Sannio Benevento, Elvira Albert, Ivan Lanese, TC 6, WG 6.1
المصدر: Lecture Notes in Computer Science ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01432919Test ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
مصطلحات موضوعية: Malware, Android, Security, Formal methods, Temporal logic, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
العلاقة: hal-01432919; https://hal.inria.fr/hal-01432919Test; https://hal.inria.fr/hal-01432919/documentTest; https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest
الإتاحة: https://doi.org/10.1007/978-3-319-39570-8_14Test
https://hal.inria.fr/hal-01432919Test
https://hal.inria.fr/hal-01432919/documentTest
https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest -
3مؤتمر
المؤلفون: Valentini, A., Nardone, Alessandro, Crisa, A., Marchitelli, C., Failla, S., Gigli, S., Alberti, P., Sañudo, C., Nutte, G., Ertbjerg, P., Hocquette, Jean-François, J.-F., Williams, J.
المساهمون: Università degli studi della Tuscia Viterbo, Istituto Sperimentale per la Zootecnia, International Centre for Advanced Mediterranean Agronomic Studies, Partenaires INRAE, Universidad de Córdoba = University of Córdoba Córdoba, University of Bristol Bristol, Department of Dairy and Food Science, Royal Veterinary and Agricultural University = Kongelige Veterinær- og Landbohøjskole (KVL ), Unité de Recherches sur les Herbivores (URH), Institut National de la Recherche Agronomique (INRA), Polo Universitario
المصدر: Italian Journal of Animal Science ; 17. Congress of the ASPA (Associazione Scientifica di Produzione Animale) ; https://hal.inrae.fr/hal-02755317Test ; 17. Congress of the ASPA (Associazione Scientifica di Produzione Animale), May 2007, Alghero, Italy ; https://archives-publications.inrae.fr/25649.pdfTest
مصطلحات موضوعية: [SDV]Life Sciences [q-bio], [INFO]Computer Science [cs]
العلاقة: hal-02755317; https://hal.inrae.fr/hal-02755317Test; PRODINRA: 25649
-
4مؤتمر
المؤلفون: Valentini, A., Nardone, Alessandro, Crisa, A., Marchitelli, C., Failla, S., GIGLI, S., Alberti, P., Sañudo, C., Nutte, G., Ertbjerg, P., Hocquette, Jean-François, Williams, J.
المساهمون: Tuscia University, Istituto Sperimentale per la Zootecnia, International Centre for Advanced Mediterranean Agronomic Studies, Partenaires INRAE, Universidad de Córdoba Cordoba, University of Bristol Bristol, Department of Dairy and Food Science, Royal Veterinary and Agricultural University = Kongelige Veterinær- og Landbohøjskole (KVL ), Unité de Recherches sur les Herbivores (URH), Institut National de la Recherche Agronomique (INRA), Polo Universitario
المصدر: Italian Journal of Animal Science ; 17. Congress of the ASPA (Associazione Scientifica di Produzione Animale) ; https://hal.inrae.fr/hal-02755317Test ; 17. Congress of the ASPA (Associazione Scientifica di Produzione Animale), May 2007, Alghero, Italy ; https://archives-publications.inrae.fr/25649.pdfTest
مصطلحات موضوعية: [SDV]Life Sciences [q-bio], [INFO]Computer Science [cs]
العلاقة: hal-02755317; https://hal.inrae.fr/hal-02755317Test; PRODINRA: 25649