Your search returned 9 results.

Results
		Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems by Avrunin, George S Corbett, James C Wileden, Jack C Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter by Lu, Harngdar Suzuki, Ichiro Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Toward a Rigorous Interpretation of Esml-Extended Systems Modeling Language by Richter, Gernot Maffeo, Bruno Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Communicating Real-Time State Machines by Shaw, Alan C Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Spawn a Distributed Computaional Economy by Waldspurger, Cari A Hogg, Tad Hogg Kephart, Jeffrey O Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A General Framework for Concurrent Simulation of Neural Network Models by Heileman, G.L Roome, Wililam D Georgiopoulos, Michael Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Unified High-Level Petri Net Formalism for Time-Critical Systems by Ghezzi, Carlo Morasca, Sandro Pezze, Mauro Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Specification and Validation of Control-Intensive Ic' in Hopcp by Akelia, V Gopalakrishnan, Ganesh Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Starvation and Critical Race Analyzers for Ada by Karam, Gerald M Buhr, R. J. A Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Report a problem