1
Published 2005
Table of Contents: ... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Virtual Environment -- System Development by Process Integrated Knowledge Management -- An Application...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Parallelism MEMS-Based Storage Devices -- Practice and Experience of an Embedded Processor Core Modeling...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...
View full text
Electronic eBook