✦ LIBER ✦

[IEEE Factory Automation (ETFA 2010) - Bilbao (2010.09.13-2010.09.16)] 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) - Optimal model checking of safe control embedded software components

✍ Scribed by Gharbi, A; Khalgui, M; Ahmed, S B

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Factory Automation (ETFA 2010) - B

✍ Camacho, E F; Alamo, T; de la Pena, D M 📂 Article 📅 2010 🏛 IEEE ⚖ 953 KB

[IEEE Factory Automation (ETFA 2010) - B

✍ Touil, Amara; Vareille, Jean; Lherminier, Fred; Le Parc, Philippe 📂 Article 📅 2010 🏛 IEEE ⚖ 681 KB

[IEEE Factory Automation (ETFA 2010) - B

✍ Mersch, Henning; Schlutter, Markus; Epple, Ulrich 📂 Article 📅 2010 🏛 IEEE ⚖ 596 KB

[IEEE Factory Automation (ETFA 2010) - B

✍ Radermacher, Ansgar; Mraidha, Chokri; Tucci-Piergiovanni, Sara; Gérard, Sébast 📂 Article 📅 2010 🏛 IEEE ⚖ 577 KB

[IEEE Factory Automation (ETFA 2010) - B

✍ Zoitl, A; Lepuschitz, W; Merdan, M; Vallee, M 📂 Article 📅 2010 🏛 IEEE ⚖ 618 KB

[IEEE Factory Automation (ETFA 2010) - B

✍ Gude, Juan J; Kahoraho, Evaristo 📂 Article 📅 2010 🏛 IEEE ⚖ 412 KB