The Civil Service Commissioners: Supporting the Core Values of the British Civil Service and Hearing Appeals Under the Civil Service Code
- 期刊名称Public Policy and Administration
- 作者Chapman, R. A.
- 卷第20卷
- 期第1期
- 印刷ISSN0952-0767
- 电子ISSN1749-4192
- 文件大小772.23KB
- 发表时间2005-01-01
- DOI10.1177/095207670502000101
- 页码1-7
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - High-Assurance Distributed, Adaptive Software for Dynamic SystemsRohloff, Kurt; Loyall, Joseph; Pal, Partha; Schantz, Richard · 2007
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Automated Test Data Generation and Reliability Assessment for Software in High Assurance SystemsMurrill, Branson W. · 2007
Estimating Software Rejuvenation Schedules in High-Assurance SystemsDohi, T. · The Computer Journal · 2001
[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Evaluation of software development tools for high assurance safety critical systemsKornecki, A.J.; Hall, K.; Hearn, D.; Lau, H.; Zalewski, J. · 2004
Toward high assurance software systems with adaptive fault managementRinsaka, Koichiro; Dohi, Tadashi · Software Quality Journal · 2016
[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems EngineeringDugan, Joanne Bechta; Pai, Ganesh J.; Xu, Hong · 2007
Software Quality Prediction for High-Assurance Network Telecommunications SystemsXu, Z. · The Computer Journal · 2001
Graph theory and algorithmsFigueiredo, Celina M. H.; Szwarcfiter, Jayme L. · Journal of the Brazilian Computer Society · 2012
EditorialOliveira, Maria Cristina Ferreira · Journal of the Brazilian Computer Society · 2012
Classification of Text DocumentsLi, Y. H. · The Computer Journal · 1998
The calculation of Lame polynomialsWilkinson, J. H. · The Computer Journal · 1965
ALAM--Atlas Lisp Algebraic Manipulatord'Inverno, R. A. · The Computer Journal · 1969
The Mechanical Evaluation of ExpressionsLandin, P. J. · The Computer Journal · 1964
Two Dimensional Interpolation from Random DataMcLain, D. H. · The Computer Journal · 1976
Parameterized Complexity and Approximation AlgorithmsMarx, D. · The Computer Journal · 2007