Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
33559 open access dissertations and theses found for:
if(Formal modeling)  »   Refine Search
1.
A formal approach to specifying and verifying spacecraft behavior
by McInnes, Allan I. S., Ph.D.  Utah State University. 2007: 290 pages; 3279572.
2.
A deontic analysis of inter -organizational control requirements
by Nguyen, Vu, Ph.D.  Florida International University. 2008: 433 pages; 3348919.
3.
The Effects of Mentoring Program Type on Organizational Commitment for Cooperative Education Students
by Wilder, Charles W., Ph.D.  Mississippi State University. 2019: 165 pages; 22584768.
4.
Evaluating an Assessment Instrument for the Oregon Environmental Literacy Plan
by Duncan, Susan Mae, Ed.D.  Portland State University. 2016: 257 pages; 10131524.
7.
Reasoning software process modeling and simulation: A stakeholder-oriented approach
by Bai, Xu, Ph.D.  Southern Methodist University. 2012: 235 pages; 3548130.
8.
Validating Petri Net Models of Cyberattacks
by Christensen, Nicholas M., M.S.  The University of Alabama in Huntsville. 2017: 102 pages; 10608103.
9.
Establishing Trust in U.S. Department of Defense Operator-in-the-Loop Federations-of-Models
by Herdlick, Bryan E., Ph.D.  The George Washington University. 2013: 102 pages; 3549132.
10.
Formal Modeling and Verification of Delay-Insensitive Circuits
by Park, Hoon, Ph.D.  Portland State University. 2015: 187 pages; 3743768.
11.
A method for evaluating and standardizing ontologies
by Seyed, Ali Patrice, Ph.D.  State University of New York at Buffalo. 2012: 235 pages; 3495226.
12.
A systems engineering framework for metabolic engineering experiments
by Johnnie, Joseph, M.S.  University of Maryland, College Park. 2011: 93 pages; 1506642.
13.
Modeling and analyzing service-oriented enterprise architectural styles
by Tang, Longji, Ph.D.  The University of Texas at Dallas. 2011: 269 pages; 3494567.
15.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
16.
Cyber Physical System Modeling of Smart Charging Process
by Langschwager, Matthew T., M.S.  University of Louisiana at Lafayette. 2018: 98 pages; 13420593.
17.
Strategic planning in small businesses in the modeling, simulation, and training industry
by Brown, Una L. Demmings, D.M.  University of Phoenix. 2008: 135 pages; 3414566.
18.
Exploring Complexity Metrics for Artifact-Centric Business Process Models
by Marin, Mike Andy, Ph.D.  University of South Africa (South Africa). 2017: 434 pages; 10759956.
20.
22.
Finite safety models for high -assurance systems
by Sloan, John C., Ph.D.  Florida Atlantic University. 2010: 266 pages; 3420062.
23.
Empathy Development Through Role Modeling: A Qualitative Study of Instructor Experiences
by Seegmiller Renner, Amy, Ph.D.  Capella University. 2017: 128 pages; 10639711.
25.
Relational complexity in natural science and the design of ecological informatics
by Kineman, John Jay, Ph.D.  University of Colorado at Boulder. 2007: 344 pages; 3284407.
26.
Mechanizing exploratory game design
by Smith, Adam Marshall, Ph.D.  University of California, Santa Cruz. 2012: 403 pages; 3551216.
29.
1 - 30 of 33559 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest