Your search returned 5 results.

Results
		Integrating Safety and for mal Analyses Using Uml and Pfs by Iwu, Frantz Galloway, andy Source: Reliability Engineering and System Safety Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		An Authentication Logic with for mal Semantics Supporting Synchronization ,Revocation and Recency by Stubblebine, S,G Wright, N.T Source: Ieee Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		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; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Practical for mal Verification in Microprocessor Design by Jones, Robert B O'Leary, John W Seger, Carl-Johan H Source: Ieee Design and Test of Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		An Incremental Maximal Progress Protocol Verification for Ecfsm-Based Protocols by Huang, Chung-Ming Hsu, Jenq-Muh Source: Proceedings ofNational Science Council, Republic of China Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search