Your search returned 7 results.

Results
	1.	Advances in verification of time petri nets and timed automata : a temporal logic approach / Wojciech Penczek, Agata Polrola. by Penczek, Wojciech [author] Polrola, Agata Series: Material type: Text; Format: print Publisher: New York : Springer, 2006 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: QA267 .P45 2006. Place hold Place recall Add to cart (remove)
	2.	Next generation design and verification : methodologies for distributed embedded control systems / S. Ramesh, P. Sampath. by Ramesh, S [author] Sampath, P Material type: Text; Format: print Publisher: New York : Springer, 2007 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7895.E42 .R36 2007. Place hold Place recall Add to cart (remove)
	3.	A real-time approach to process control / William Y. Svrcek, Donald P. Mahoney, Brent R. Young. by Svrcek, William Y [author] Mahoney, Donald P Young, Brent R Material type: Text; Format: print Publisher: Chichester : John Wiley, 2000 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (4)Call number: TS156.8 .S86 2000, ... Place hold Place recall Add to cart (remove)
	4.	Computer control of real-time processes / edited by S. Bennett and G. S. Virk. by Bennett, S Virk, G. S Series: Material type: Text; Format: print Publisher: London : P. Peregrinus, 1990 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TS156.8 .C66 1990. Place hold Place recall Add to cart (remove)
	5.	A real-time approach to process control / William Y. Svrcek, Donald P. Mahoney and Brent R. Young. by Svrcek, William Y [author] Mahoney, Donald P Young, Brent R Edition: 2nd ed. Material type: Text; Format: print Publisher: Hoboken, NJ : John Wiley, 2006 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TS156.8 .S97 2006. Place hold Place recall Add to cart (remove)
	6.	Command-control for real-time systems / edited by Mohamed Chadli, Herve Coppier. Series: Material type: Text; Format: print ; Literary form: Not fiction Publisher: Hoboken, NJ : ISTE Ltd/John Wiley and Sons Inc, 2013 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TJ217.7 .C65 2013. Place hold Place recall Add to cart (remove)
	7.	Distributed embedded control systems : improving dependability with coherent design / M. Colnaric, Domen Verber, Wolfgang A. Halang. by Colnaric, M [author] Verber, Domen Halang, Wolfgang A Series: Material type: Text; Format: print Publisher: London : Springer, 2008 Availability: Items available for loan: PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH (1)Call number: TK7895.E42 .C64 2008. Place hold Place recall Add to cart (remove)

Powered by Koha