Schedulability analysis of timed CSP models using the PAT model checker

Paper Info

Title
Schedulability analysis of timed CSP models using the PAT model checker

Year	Venue	Field
2012	CPA	Multiprocessor scheduling,Model checking,Scheduling (computing),Computer science,Systems design,Implementation,Real-time computing,Control system,Workflow,Mobile robot,Distributed computing,Embedded system
DocType	Citations	PageRank
Conference	2	0.45
References	Authors
14	3

Authors (3 rows)

Cited by (2 rows)

References (14 rows)

Name	Order	Citations	PageRank
o oguz	1	2	0.45
Jan F. Broenink	2	155	33.17
angelika mader	3	2	0.45