Verification and Evaluation of Computer and Communication Systems
16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings
Book and Conference Proceedings
16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings
Book and Conference Proceedings
17th Chinese Conference, CCBR 2023, Xuzhou, China, December 1–3, 2023, Proceedings
Book and Conference Proceedings
12th International Workshop, CLIP 2023 1st International Workshop, FAIMI 2023 and 2nd International Workshop, EPIMI 2023 Vancouver, BC, Canada, October 8 and October 12, 2023 Proceedings
Book and Conference Proceedings
17th International Conference on E-Business and Telecommunications, ICETE 2020, Online Event, July 8–10, 2020, Revised Selected Papers
Book and Conference Proceedings
7th International Symposium, UNet 2021, Virtual Event, May 19–22, 2021, Revised Selected Papers
Book and Conference Proceedings
10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings
Book and Conference Proceedings
10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I
Book and Conference Proceedings
10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II
Book and Conference Proceedings
7th International Workshop, RFMI 2017, Savoie, France, December 17–20, 2017, Revised Selected Papers
Book and Conference Proceedings
5th International Workshop, MSKI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Revised Selected Papers
Book and Conference Proceedings
Second IFIP TC 12 International Conference, ICIS 2017, Shanghai, China, October 25-28, 2017, Proceedings
Book and Conference Proceedings
6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised Selected Papers
Book and Conference Proceedings
6th International Workshop, HBU 2015, Osaka, Japan, September 8, 2015, Proceedings
Book and Conference Proceedings
8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings
Book and Conference Proceedings
ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
Book and Conference Proceedings
Second International Joint Conference on AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011. Proceedings