Your search returned 7 results.

Results
		Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp- Method by Luo, Gang Bochmann, Gregor V Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Automatic Analysis and Test Case Derivation for a Restricted Class of Lotos Expressions with Data Parameters by Higashino, Teruo Bochmann, Gregor V Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Formal Model for Module Interconnection Languages by Luo, Gang Das, Anindya Bochmann, Gregor V 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
		Trace Analysis for Con Formance and Arbitration Testing by Dssouli, Rachida Bochmann, Gregor V Zhao, J. R Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Test Selection Based on Finite State Models by Fujiwara, Susumu Bochmann, Gregor V 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