"Verification and Simulation of Time-Domain Properties for Models of Behaviour"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Symbolic Simulation Methods for Industrial Formal Verification	Robert B. Jones	2002	Springer US
Soil Properties and Behaviour	RAYMOND N. YONG; BENNO P. WARKENTIN	1975	Elsevier
The Relevance of the Time Domain to Neural Network Models	A. Ravishankar Rao; Guillermo A. Cecchi	2012	Springer New York
Modification and verification of design simulation for thermoacoustic research software	Scott Brian Curtis	2000	Naval Postgraduate School;Available from National Technical Information Service
Simulation and Verification of Electronic and Biological Systems	Peng Li; Luís Miguel Silveira; Peter Feldmann	2011	Springer Netherlands
Macroeconomic models for computer simulation	Richard L. Schmalensee	1970	M.I.T.
Domain architectures: models and architectures for UML applications	Daniel J. Duffy	2004	John Wiley & Sons
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs	Vladimir Herdt	1st ed. 2016	Springer Fachmedien Wiesbaden
The Computer Simulation Of Behaviour	Michael J. Apter	1970	Routledge
The computer simulation of behaviour	Michael J. Apter
Financial Models and Simulation	D. Chorafas	1995	Palgrave Macmillan UK
Financial models and simulation /	Chorafas, Dimitris N.	1995.	St. Martins,
Environmental Soil Properties and Behaviour	Raymond N. Yong; Masashi Nakano; Roland Pusch	2012	Routledge
Simulation of Ecological and Environmental Models	Miguel F. Acevedo	2012	Routledge
Biomechanical models for soft tissue simulation	Walter Maurel; Yin Wu; Nadia Magnenat Thalmann; Daniel Thalmann	1998	Springer-Verlag
Biomechanical Models for Soft Tissue Simulation	Walter Maurel; Daniel Thalmann; Yin Wu; Nadia Magnenat Thalmann	1998	Springer Berlin Heidelberg
Simulation methodology for computer system models	Andrew McGregor Brown	1975
Essentials of Monte Carlo Simulation: Statistical Methods for Building Simulation Models	Nick T. Thomopoulos	2013	Springer New York
Time-Domain Scattering	P. A. Martin	2021-06	Cambridge University Press
Time Domain Electromagnetics	S.M. Rao	1999	Academic Press
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Verification and Simulation of Time-Domain Properties for Models of Behaviour	Miguel Carrillo; Vladimir Estivill-Castro; David A. Rosenblueth	Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers	Slimane Hammoudi; Luís Ferreira Pires; Bran Selić	1st ed. 2021	Springer International Publishing
Time Domain Simulation		Computational Techniques for Voltage Stability Assessment and Control	Venkataramana Ajjarapu	2007	Springer US
Time-Domain Simulation		Passive Macromodeling	Stefano Grivet-Talocia	2015	John Wiley & Sons
Verification and Validation of Simulation Models		Systems Engineering Guide	The MITRE Corporation	2014	The MITRE Corporation
Verification and Validation of Simulation Models		Handbook of Research on Discrete Event Simulation Environments: Technologies and Applications	Evon M. O. Abu-taieh, Asim Adbel Rahman El Sheikh	2009	Information Science Reference
141 Motivation for Time-Domain Verification		Aircraft and Rotorcraft System Identification	Mark B. Tischler, Robert K. Remple	2006	AIAA
Simulation and Forecasting with Continuous Time-Domain Models		Statistical Methods in the Atmospheric Sciences	Daniel S. Wilks	2005	Academic Press
Time-Domain Models	P. Ricci	Numerical Modelling of Wave Energy Converters	Matt Folley	2016	Academic Press
Verification, Validation, and Accreditation of Simulation Models	Dale K. Pace	Applied System Simulation: Methodologies and Applications	Mohammad S. Obaidat; Georgios I. Papadimitriou	2003	Springer US
532 Time domain simulation		Radar Sea Clutter: Modelling and target detection (Radar, Sonar and Navigation)	Luke Rosenberg, Simon Watts	2022	Scitech Publishing
Experimental Verification of the Simulation Models	Dirk Spreemann; Yiannos Manoli	Electromagnetic Vibration Energy Harvesting Devices: Architectures, Design, Modeling and Optimization	Dirk Spreemann; Yiannos Manoli	2012	Springer Netherlands
142 Time-Domain Verification Method		Aircraft and Rotorcraft System Identification	Mark B. Tischler, Robert K. Remple	2006	AIAA
Time Domain Properties of Signa		Information Theory for Information Technologists	M. J. Usher (auth.)	1984	Macmillan Education UK
252 Time-domain models for audio		The Oxford Handbook of Applied Bayesian Analysis (Oxford Handbooks)	Anthony O'Hagan, Mike West	2010	Oxford University Press, USA
Traditional time domain models	Raquel Prado; Marco A. R. Ferreira; Mike West	Time Series: Modeling, Computation, and Inference	Raquel Prado; Marco A. R. Ferreira; Mike West	2021	Routledge
Verification of Reachability Properties for Time Petri Nets	Kais Klai; Naim Aber; Laure Petrucci	Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings	Parosh Aziz Abdulla; Igor Potapov	2013	Springer Berlin Heidelberg
10 Verification, Calibration, and Validation of Simulation Models		Discrete-Event System Simulation	Banks, Jerry; Carson, John S; Nelson, Barry L; Nicol, David M	2013	Pearson Education, Limited
Ch. 10. Verification and validation of simulation models		Discrete-event system simulation /	Banks, Jerry.	[2005], ©2005.	Pearson Prentice Hall,
61 Time Domain Modeling and Simulation		Power Integrity for I/O Interfaces: With Signal Integrity/Power Integrity Co-Design	Pandit, Vishram S; Ryu, Woong Hwan; Choi, Myoung Joon	2010	Prentice Hall
DRK Methods for Time-Domain Oscillator Simulation	M.F. Sevat; S.H.M.J. Houben; E.J.W. ter Maten	Progress in Industrial Mathematics at ECMI 2004	Alessandro Di Bucchianico; Robert M.M. Mattheij; Marc Adriaan Peletier	2006	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Verification and Simulation of Time-Domain Properties for Models of Behaviour" - similar Books and Chapters