Home / Authors / Jeffrey J. P. Tsai

Books by Jeffrey J. P. Tsai

All books by this author

6 books found
Security Modeling and Analysis of Mobile Agent Systems (Electrical and Computer Engineering)
Security Modeling and Analysis of Mobile Agent Systems (Ele…
By: Jeffrey J. P. Tsai
View Details
Computational Methods with Applications in Bioinformatics Analysis (Advanced Series in Electrical and Computer Engineering)
Computational Methods with Applications in Bioinformatics A…
By: Jeffrey J. P. Tsai
View Details
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
Compositional Verification of Concurrent and Real-Time Syst…
By: Eric Y.T. Juan, Jeffrey J.P. Tsai
View Details
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
Compositional Verification of Concurrent and Real-Time Syst…
By: Eric Y.T. Juan, Jeffrey J.P. Tsai
View Details
Hybrid Parallel Execution Model for Logic-Based Specification Languages
Hybrid Parallel Execution Model for Logic-Based Specificati…
By: Jeffrey J. P. Tsai, Bing Li
View Details
Knowledge-Based Software Development for Real-Time Distributed Systems (Series on Software Engineering and Knowledge)
Knowledge-Based Software Development for Real-Time Distribu…
By: Jeffrey J. P. Tsai, Thomas Weigert
View Details