jiacun wang

Real-Time Embedded Systems

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

Soft Computing and Signal Processing

The book presents selected research papers on current developments in the field of 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 (...

Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application...

Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application...

Real-Time Embedded Systems

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

Soft Computing and Signal Processing

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

Soft Computing and Signal Processing

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

Soft Computing and Signal Processing

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

Soft Computing and Signal Processing

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

Timed Petri Nets

Soft Computing and Signal Processing

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