Your search returned 4 results.

Results
		Complexity of Strong Satisfiability Problems for Regctive System Specfications by Shimakawa, Masaya 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 Sl Synchronous Language by Boussinot, Frederic Simone, Robert De Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors by Caspi, Paul Pilaud, Daniel Girault, Alain Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Statemate a Working Environment for Development of Complex Reactive Systems by Harel, David Lachover, Hagi Trakhtenbrot, Mark 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