Understanding Behaviour of Distributed Systems Using mCRL2 كتب أخرى بهذه السلسلة

Dynamic Optimization of Path-Constrained Switched Systems Dynamic Optimization of Path-Constrained Switched Systems
Dynamic Optimization of Path-Constrained Switched Systems
٢٠٢٣
Systems, Decision and Control in Energy IV Systems, Decision and Control in Energy IV
Systems, Decision and Control in Energy IV
٢٠٢٣
Structural Optimization Using Shuffled Shepherd Meta-Heuristic Algorithm Structural Optimization Using Shuffled Shepherd Meta-Heuristic Algorithm
Structural Optimization Using Shuffled Shepherd Meta-Heuristic Algorithm
٢٠٢٣
Adaptive Hybrid Control of Quadrotor Drones Adaptive Hybrid Control of Quadrotor Drones
Adaptive Hybrid Control of Quadrotor Drones
٢٠٢٣
Control Synthesis for Semi-Markovian Switching Systems Control Synthesis for Semi-Markovian Switching Systems
Control Synthesis for Semi-Markovian Switching Systems
٢٠٢٣
Error Logic: Paving Pathways for Intelligent Error Identification and Management Error Logic: Paving Pathways for Intelligent Error Identification and Management
Error Logic: Paving Pathways for Intelligent Error Identification and Management
٢٠٢٣
Group Verbal Decision Analysis Group Verbal Decision Analysis
Group Verbal Decision Analysis
٢٠٢٣
Developments in Information and Knowledge Management Systems for Business Applications Developments in Information and Knowledge Management Systems for Business Applications
Developments in Information and Knowledge Management Systems for Business Applications
٢٠٢٣
Decision Making Under Uncertainty, with a Special Emphasis on Geosciences and Education Decision Making Under Uncertainty, with a Special Emphasis on Geosciences and Education
Decision Making Under Uncertainty, with a Special Emphasis on Geosciences and Education
٢٠٢٣
Developments in Information and Knowledge Management Systems for Business Applications Developments in Information and Knowledge Management Systems for Business Applications
Developments in Information and Knowledge Management Systems for Business Applications
٢٠٢٣
Artificial Intelligence in Models, Methods and Applications Artificial Intelligence in Models, Methods and Applications
Artificial Intelligence in Models, Methods and Applications
٢٠٢٣
Intelligent Reliability and Maintainability of Energy Infrastructure Assets Intelligent Reliability and Maintainability of Energy Infrastructure Assets
Intelligent Reliability and Maintainability of Energy Infrastructure Assets
٢٠٢٣
Proceedings of 19th Latin American Control Congress (LACC 2022) Proceedings of 19th Latin American Control Congress (LACC 2022)
Proceedings of 19th Latin American Control Congress (LACC 2022)
٢٠٢٣
Games to Play and Games not to Play Games to Play and Games not to Play
Games to Play and Games not to Play
٢٠٢٣
Preferential Voting and Applications: Approaches Based on Data Envelopment Analysis Preferential Voting and Applications: Approaches Based on Data Envelopment Analysis
Preferential Voting and Applications: Approaches Based on Data Envelopment Analysis
٢٠٢٣