1
Published 2007
Table of Contents: ... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...
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 2013
Table of Contents: ... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...
View full text
Electronic eBook