Your search returned 5 results.

Sort
Results
Risk Assessment of Software-System Specifications by
  • Ammar, H H
  • Dugan, J.B
Source: IEEE Transactions on Reliability
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Knowledge Representation and Reasoning InDesign of Cinposite Systems by
  • Fickas, Stephen
  • Helm, B. Robert
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions Approach and Case Study by
  • Belil, Fevzi
  • GrosspIETsch, Karl E
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Specification and Analysis of Paraliel/Distributed Sofware and Systems by Petri Nets with Transition Enabling Functions by
  • Papelis, Yiannis E
  • Casavant, Thomas L
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
for mal Methods Application: An Empirical Tale of Software Development by
  • A.E. Kelly, Sobel
  • Clarkson, K. L
Source: Ieee Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Pages