Approches Formelles Pour la Validation de Systemes Temps-reel

by Ait

Paperback

ISBN: 978-2-7462-2267-0

ISBN-10: 2-7462-2267-1

Hermes Sciences Publications · 2008