Your search returned 5 results.

Results
		The Model Checker Spin by Holzmann, Gerard J Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Hardware Specification with Temporal Logic: an Example by Bochmann, Gregor V Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Structured Specification of Communicating Systems by Bochmann, Gregor V Raynal, Michel Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Formal Specification and Design Time Testing by Paul, Christopher Coleman, Derek Galilmore, Robin M Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Design Verification of Fpga Implementations. by Chen, Xiao-Tao Huang, Wei-Kang Park, Nohpill J.Meyer, Fred Source: Ieee Design and Test of Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search