Your search returned 2 results.

Results
	1.	Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet by Merz, Stephan Navet, Nicolas Publication details: London : ISTE, 2008 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.54.M639 pasca. Place hold
	2.	Automotive embedded systems handbook / edited by Nicolas Navet, Francoise Simonot-Lion by Navet, Nicolas Simonot-Lion, Francoise Series: Industrial information technology series Publication details: Boca Raton : CRC Press, 2009 Online resources: Table of contents only Publisher description Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: TL272.53.A935 3. Place hold

Refine your search