Search results: Sage Journals

Restricted accessResearch articleFirst published February 6, 2020

Formal verification of a task scheduler for embedded operating systems

Haiyong Sun, Hang Lei

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Restricted accessResearch articleFirst published April, 1963

W. B. Knowles

Human Factors: The Journal of the Human Factors and Ergonomics Society

Restricted accessResearch articleFirst published September, 2015

Chase Meusel, Norene Kelly, Stephen Gilbert [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Restricted accessResearch articleFirst published October, 1994

Terence S. Andre, Samuel G. Charlton

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Restricted accessResearch articleFirst published October, 1967

Charles R. Kelley, Michael J. Wargo

Human Factors: The Journal of the Human Factors and Ergonomics Society

Restricted accessResearch articleFirst published July, 1979

William M. Bart, Donna M. Mertens

Applied Psychological Measurement

Restricted accessResearch articleFirst published October, 1982

Stephen B. Hottman, Robert P. Bateman

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Restricted accessReview articleFirst published September, 1999

Deborah A. Mitta, Amy L. Mykityshyn

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Restricted accessResearch articleFirst published September, 2012

Kristopher M. Thornburg, Henricus P.M. Peterse, Andrew M. Liu

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Restricted accessOtherFirst published October, 1980

Clark A. Shingledecker

Proceedings of the Human Factors and Ergonomics Society Annual Meeting