Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems هي 9783031684166, 3031684168 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031684159, 303168415X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems هي 9783031684166, 3031684168 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783031684159, 303168415X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.