André, E., & Soulat, R. (2013). The inverse method: Parametric verification of real-time embedded systems. ISTE Ltd./John Wiley and Sons Inc..
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoru Kātū Chicago (17th ed.)
André, Etienne, me Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. Hoboken, N.J.: ISTE Ltd./John Wiley and Sons Inc., 2013.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoro MLA (9th ed.)
André, Etienne, me Romain Soulat. The Inverse Method: Parametric Verification of Real-time Embedded Systems. ISTE Ltd./John Wiley and Sons Inc., 2013.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.