{"product_id":"rebeca-for-actor-analysis-in-action-9783031851339","title":"Rebeca for Actor Analysis in Action","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. Modelling Cyber-Physical Systems for Verification and Synthesis.\u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices. Responsibility in Actor-Based Systems. \u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.\u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. Parallel Composition of Constraint Automata. \u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca. \u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. Verify Engineering Models, not Scientific Models. \u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. Black-box protocol testing using Rebeca and Automata Learning. \u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language.\u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata.\u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-.  An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out. \u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems. \u003cbr\u003e\u003c\/span\u003e\u003cspan lang=\"EN-US\" style=\"mso-ansi-language: EN-US;\"\u003e-. Ten Years of Spatial Model Checking.\u003c\/span\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195452842327,"sku":"9783031851339","price":59.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/rebeca-for-actor-analysis-in-action-9783031851339","provider":"Book Curl","version":"1.0","type":"link"}