Hakutulokset: Hakutulos
yhteensä 6 hakutulosta
Real-Time Embedded Systems
Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system …
Timed Petri Nets
Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems …
Formal Methods in Computer Science
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The …
Soft Computing and Signal Processing
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Fifth International Conference on Soft Computing …
Handbook of Finite State Based Models and Applications
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in …
Intelligent Systems and Sustainable Computing
This book is a collection of best selected research papers presented at Second International Conference on Intelligent Systems and Sustainable Computing (ICISSC 2022), held in …