Verification of transaction level models of embedded systems /

QR Code

Verification of transaction level models of embedded systems /

Bibliographic Details
Main Author:	Lochi Yu Lo, Lucky (Autor/a)
Format:	Article
Language:	English
Subjects:	PROCESAMIENTO DE SEÑALES > MODELOS MATEMATICOS
Online Access:	Ver artículo en línea

Similar Items

Automatic generation and verification of transaction level models /
by: Lo Chi Yu Lo, Lucky, et al.
Published: (2009)

Diseño e implementación de una arquitectura para la transformada discreta wavelet empleando Verilog /
by: Arguedas Oses, Daniel 1986-
Published: (2010)

Signal processing with fractals : a wavelet-based approach /
by: Wornell, Gregory, et al.
Published: (1996)

A new method for the analysis of signals : the square wave transform (SWT) = Un nuevo método para el análisis de señales : la transformada de las ondas cuadradas /
by: Skliar, Osvaldo

IEEE transactions on image processing /
Published: (1992)

Discrete and system models /
Published: (1983)

Introducción a las señales y los sistemas /
by: Lindner, Douglas K., et al.
Published: (2002)

Signals, systems & inference /
by: Oppenheim, Alan V.
Published: (2016)

Fuel consumption of urban passenger transportation systems : an investigation of modelling techniques /
Published: (1984)

Coherent spread spectrum systems /
by: Holmes, Jack Kenneth 1936-, et al.
Published: (1982)

Modeling crop production systems : principles and application /
by: Singh, Phool, et al.
Published: (2008)

Modelling of marine systems /
by: Nihoul, Jacques C. J.
Published: (1975)

Models and System Characterizations /
Published: (2014)

Modelling of dynamical systems /
by: Nicholson, Harold, et al.
Published: (1980)

IEEE transactions on audio, speech, and language processing
Published: (2006)

Computer models in the social sciences /
by: Coats, R. B., et al.
Published: (1977)

Computer modelling of electrical power systems /
by: Arrillaga, Jos, et al.
Published: (2001)

Hércules a modeling system with knowledge about economics.
by: Drud, Arne, et al.
Published: (1987)

RAPID EMBEDDED SYSTEM TESTING USING VERIFICATION PATTERNS.
by: TSAI, WEI-TEK

Models for flow systems and chemical reactors /
by: Wen, Chin Yung 1928-, et al.
Published: (1975)

IEEE transactions on speech and audio processing
Published: (1993)

Radar signal processing and adaptive systems /
by: Nitzberg, Ramon, et al.
Published: (1999)

Análisis y comparación de algoritmos de clasificación de señales cerebrales para una interfaz cerebro-computador /
by: Dumani Jarquín, Diego Sayed, et al.
Published: (2013)

Introduction to the numerical modeling of groundwater and geothermal systems : fundamentals of mass, energy, and solute transport in poroelastic rocks /
by: Bundschuh, Jochen
Published: (2010)

Generación automática de modelos a nivel de transferencia de sistemas incrustados para aplicaciones multimedios /
by: Lochi Yu Lo, Lucky

Modelling change in environmental systems /
Published: (1993)

Algoritmo conjunto Kalman-Haar aplicado al procesamiento de señales = Joint Kalman-Haar algorithm applied to signal processing /
by: Viegener, Alejandro, et al.

Systems modeling for evaluating sustainability
by: Uehara, G.

Verification of mathematical and physical models in hydraulic engineering proceedings 26th Annual Hidraulics Division Specialty Conference, University of Maryland College Park, Maryland, August 9-11, 1978
Published: (1978)

Embedded software verification and debugging /
Published: (2017)

Mathematical models of population /
by: Jozwiak, Janina
Published: (1992)

Mathematical modelling of zombies /
by: Smith?, Robert Joseph 1972-
Published: (2014)

Urban systems : collection and management of data for a complex model /
by: Perraton, Jean
Published: (1970)

Systems representation of gloval climate change models : foundation for a systems science approach /
by: Sreenath, N., et al.
Published: (1993)

Systems analysis and simulation in ecology /
by: Patten, Bernard C. 1931-
Published: (1971)

Modeling, analysis, and control of dynamic systems /
by: Palm, William John 1944-, et al.
Published: (1983)

Mathematical models /
by: Cundy, Henry Martyn, et al.
Published: (1961)

Mathematical modeling /
by: Meerschaert, Mark M. 1955-
Published: (2013)

An analytic model for welding large metal sheets /
by: May, Lawrence, et al.
Published: (1985)

Codificación en wavelets utilizando el TMS320C50 /
by: Chinchilla Sánchez, Carlos, et al.
Published: (2001)