Spelling suggestions: "subject:"atemsystem analysis"" "subject:"systsystem analysis""
451 |
Model-driven development and analysis of high assurance systemsKonrad, Sascha J. January 2006 (has links)
Thesis (Ph. D.)--Michigan State University. Dept. of Computer Science, 2006. / Title from PDF t.p. (viewed on Nov. 20, 2008) Includes bibliographical references (p. 408-425). Also issued in print.
|
452 |
Towards reverse engineering of UML sequence diagrams of real-time, distributed systems through dynamic analysis /Leduc, Johanne, January 1900 (has links)
Thesis (M. App. Sc.)--Carleton University, 2004. / Includes bibliographical references (p. 116-119). Also available in electronic format on the Internet.
|
453 |
Improving state-based coverage criteria using data flow information /Lin, Qing, January 1900 (has links)
Thesis (M. Sc.)--Carleton University, 2004. / Includes bibliographical references (p. 138-140). Also available in electronic format on the Internet.
|
454 |
Performance of parallel I/O data distribution strategies for space-sharing policies /Wang, Liuhong, January 1900 (has links)
Thesis (M. Sc.)--Carleton University, 2004. / Includes bibliographical references (p. 81-86). Also available in electronic format on the Internet.
|
455 |
Framing user confidence in a system dynamics model : the case of a workforce planning problem in the New Zealand army : a thesis submitted to the Victoria University of Wellington in partial fulfilment of the requirements for the degree of Master of Management Studies /Markham, Jason Yves. January 2008 (has links)
Thesis (M.M.S.)--Victoria University of Wellington, 2008. / Includes bibliographical references.
|
456 |
Modelling, state observation and diagnosis of quantised systems /Schröder, Jochen, January 2003 (has links)
Techn. Univ., Diss.--Hamburg-Harburg, 2002.
|
457 |
A thermodynamical perspective on organisations their structure and evolution /Sundarasaradula, Doy. January 2006 (has links)
Thesis (Ph.D.)--University of Wollongong, 2006. / Typescript. Includes bibliographical references: leaf 393-431.
|
458 |
The application of data processing technology to the hospital submitted to the Program in Hospital Administration ... in partial fulfillment ... for the degree of Master of Hospital Administration /Lagace, Arthur E. January 1965 (has links)
Thesis (M.H.A.)--University of Michigan, 1965.
|
459 |
A framework for conducting mechanistic based reliability assessments of components operating in complex systemsWallace, Jon Michael. January 2003 (has links) (PDF)
Thesis (Ph. D.)--Aerospace Engineering, Georgia Institute of Technology, 2004. / Ajay Misra, Committee Member ; James Craig, Committee Member ; Richard Neu, Committee Member ; Daniel Schrage, Committee Member ; Dimitri Mavris, Committee Chair. Vita. Includes bibliographical references.
|
460 |
Deadlock probability prediction and detection in distributed systems /Deorukhkar, Mayuresh. January 2004 (has links)
Thesis (M.S.)--University of Missouri-Columbia, 2004. / Typescript. Includes bibliographical references (leaves 75-76). Also available on the Internet.
|
Page generated in 0.047 seconds