Your search returned 4 results.

Results
		Automated Route Planning for Milk-Run Transport Logistics with Nusmv Model Checker by Kitamura, Takashi Okamoto, Keishi Source: IEICE Transactions on Information and Systems Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		The Model U-Calculus: a Survey by Lenzi, Giacomo Source: Task Quarterly: Scientific Bulietin of Academic Computer Centre in Gdansk Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		A Novel Approach to Verify Graph Schema-Based Software Systems by Rafe, Vahid Rahmani, Adel T 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
		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

Refine your search