Your search returned 11 results.

Results
		Development of Communication Protocol Verifieation Tool for Vital Railway Signaling Systems by Hwang, Jong-Gyu Jo, Hyun-Jeong Lee, Jae-Ho Source: Journal of Electrical Engineering and Technology Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms by Rushby, John Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		An Industrial Strength Theorem Prover for a Logic Based on Common lisp by Kaufmann, Matt Moore, J. S Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Comparing Verification Systems Interactive Consistency in Acl2 by Young, Wililam H Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Formal Requirements Analysis of an Avionics Control System by Dutertre, Bruno Stavridou, Victoria Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Formal Verification of Concurrent Programs UsingLarch Prover by Chetali, Boutheina Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Functional Description of Connector-Switch-Attenuator Networks by Gecsei, J Cerny, E Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Formal Verification of Fault Tolerance Using Theorem-Proving Techniques by Wojcik, Anthony S Jr., Joseph Kljaich Smith, Brian T Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		An Algebraic Model for Asynchronous Circuits Verification by Cerny, E Berthet, Christian Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Programming and Verifying Real-Time Systems by Means OfSysnchronous Data-Flow Language Lustre by Halbwachs, Nicolas Lagnier, Fabienne Ratel, Christophe Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Compiling Real-Time Specifications Into Extended Automata by Nivoliln, Xavier Yovine, Sergio Sifakis, Joseph Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Visit counter For Websites

Copyright © Engr Abul Kalam Library, NEDUET, 2024

Report a problem