Rebeca for Actor Analysis in Action
portes grátis
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Lee, Edward A.; Mousavi, Mohammad Reza; Talcott, Carolyn
Springer International Publishing AG
05/2025
442
Mole
Inglês
9783031851339
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
-. Modelling Cyber-Physical Systems for Verification and Synthesis.
-. 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices. Responsibility in Actor-Based Systems.
-. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.
-. Parallel Composition of Constraint Automata.
-. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca.
-. Verify Engineering Models, not Scientific Models.
-. Black-box protocol testing using Rebeca and Automata Learning.
-. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language.
-. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata.
-. An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out.
-. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems.
-. Ten Years of Spatial Model Checking.
-. 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices. Responsibility in Actor-Based Systems.
-. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.
-. Parallel Composition of Constraint Automata.
-. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca.
-. Verify Engineering Models, not Scientific Models.
-. Black-box protocol testing using Rebeca and Automata Learning.
-. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language.
-. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata.
-. An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out.
-. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems.
-. Ten Years of Spatial Model Checking.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Software Engineering;Rebeca;Formal Methods;Model Checking;System Services;Verification;Timed Automata;Cyber-Physical Systems (CPS);Actor-Based Systems;test;Actors;Formal verification ;Formal semantics
-. Modelling Cyber-Physical Systems for Verification and Synthesis.
-. 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices. Responsibility in Actor-Based Systems.
-. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.
-. Parallel Composition of Constraint Automata.
-. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca.
-. Verify Engineering Models, not Scientific Models.
-. Black-box protocol testing using Rebeca and Automata Learning.
-. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language.
-. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata.
-. An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out.
-. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems.
-. Ten Years of Spatial Model Checking.
-. 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices. Responsibility in Actor-Based Systems.
-. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.
-. Parallel Composition of Constraint Automata.
-. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca.
-. Verify Engineering Models, not Scientific Models.
-. Black-box protocol testing using Rebeca and Automata Learning.
-. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language.
-. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata.
-. An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out.
-. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems.
-. Ten Years of Spatial Model Checking.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
