Formal Methods in Computer Science

Real-Time Embedded Systems

Offering comprehensive coverage of the convergence of real-time embedded systems scheduling...

Real-Time Embedded Systems

Offering comprehensive coverage of the convergence of real-time embedded systems scheduling...

Soft Computing and Signal Processing

This book presents selected research papers on current developments in the fields of so...

Soft Computing and Signal Processing

The book presents selected research papers on current developments in the field of soft comput...

Handbook of Finite State Based Models and Applications

Applicable to any problem that requires a finite number of solutions, finite state-based models (...

Soft Computing and Signal Processing

The book includes research papers on current developments in the field of soft computing and s...

Formal Methods in Computer Science

Timed Petri Nets

Driven by the request for increased productivity, flexibility, and competitiveness, modern civili...

Timed Petri Nets

InhaltsangabePreface. 1. Introduction. 2. Petri Nets. 3. Deterministic Timed Petri Nets. 4. Time ...

Soft Computing and Signal Processing

Soft Computing and Signal Processing