Software Synthesis for Energy-Constrained Hard Real-Time Systems: A Petri net-based approach

Synthesis

von Eduardo Tavares

Taschenbuch

ISBN: 978-3-8443-9811-3

ISBN-10: 3-8443-9811-2

LAP LAMBERT Academic Publishing · 2011