Sökt på: Sökresultat
totalt 7 träffar
Model Checking Software
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with …
Electronic Participation
This book constitutes the proceedings of the 10th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2018, held in Krems, Austria, in September 2018.The 12 …
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 …
KI 2011: Advances in Artificial Intelligence
This book constitutes the refereed proceedings of the 34th Annual German Conference on Artificial Intelligence, KI 2011, held in Berlin, Germany, in October 2011. The 32 revised …
Telecommunications and beyond: The Broader Applicability of SDL and MSC
TheSDLandMSC(SAM)workshopisheldeverytwoyearstoprovideanopen discussionarenabetweentheSDLForummeetings. The3rdSAMWorkshopwas …
Electronic Participation
This book constitutes the proceedings of the 13th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2021, held in Granada, Spain, in September 2021, in …
Electronic Participation
This book constitutes the proceedings of the 15th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2023, held in Budapest, Hungary, in September 2023, in …