Your search returned 14 results.

Results
		Architecture-Directed Refinement by Roman, Gruia-Catalin Wilcox, G.D Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Extending Statecharts with Temporal Logic by Sowmya, Arcot Ramesh, S Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Extending Ina Jo with Temporal Logic by Wing, Jeannette M Nixon, M. S Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Language Constructs for Specifying Concurrency in Cdl by Shyamasundar, R. K Thatcher, J. W Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Ctdnet a Mechanism for Concurrent Execution of Lambda Graphs by Gupta, Jai Prakash Wilson, D Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Modular Concurrency Control and Failure Recovery by Sha, Lui Lehoczky, John P Jensen, E D Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Multiversion Cautious Schedulers for Database Concurrency Control by Ibaraki, Tohihide Kameda, Tiko Katoh, Naoki Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		L. 0: a Truly Concurrent Executable Temporal Logic Language for Protocols by Ness, linda Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Formal Derivation of Concurrent Programs an Example from Industry by Staskauskas, Mark Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Performance Analysis of Concurrency Control Using Locking with Deferred Blocking by Yu, Philip S Dias, Daniel M Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Structural Testing of Concurremnt Programs by Tayolr, Richard N Levine, David L Keliy, Cheryl D Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Specifying Ada Server Tasks with Executable Formal Grammars by Hemmendinger, David Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Atpg for Combinational Circuits on Configurable Hardware by Focan, F Saab, D. G Source: Ieee Transactions on Very Large Scale Intergration (Vlsi) Systems Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Compression of Time in Manufacturing Systems. by Woo, T. C Hsieh, C. C Source: Ieee Transactions on Robotics and Automation Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Report a problem