Your search returned 4 results.

Results
		An Efficient Lotos-Based Framework for Describing and Solving (Temporal) Csps by Sadaoui, Samira Mouhoub, Malek Chen, Bo Source: International Journal of Software Engineering and Knowledge Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Decomposition of a Formal Specification an Improved Constraint-Oriented Method by Go, Kentaro Shiratori, Norio 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
		The Derivation of Con Formance Tests from Lotos Specifications by Pitt, David H Freestone, David Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search