The inverse method parametric verification of real-time embedded systems /

Uloženo v:
Podrobná bibliografie
Hlavní autor: André, Etienne
Korporativní autor: ebrary, Inc
Další autoři: Soulat, Romain
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Hoboken, N.J. : ISTE Ltd./John Wiley and Sons Inc., 2013.
Edice:Focus series in computer engineering and IT,
Témata:
On-line přístup:An electronic book accessible through the World Wide Web; click to view
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!