Cantitate/Preț
Produs
Total produse
Vezi coșul
Modeling and Verification of Real–time Systems de N Navet

Modeling and Verification of Real–time Systems

Autor N Navet
en Limba Engleză Hardback – 9 mar 2008
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.
Citește tot Restrânge

Preț: 119151 lei

Preț vechi: 177093 lei
-33% Nou

Puncte Express: 1787
Preț estimativ în valută:
22803€ • 23556$ • 18977£

Carte indisponibilă temporar


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781848210134
ISBN-10: 1848210132
Pagini: 448
Dimensiuni: 154 x 238 x 27 mm
Greutate: 0.72 kg
Ediția:1
Editura: ISTE Ltd.
Locul publicării:Hoboken, United States

Public țintă

practitioners, engineers, and scientists, designing and implementing intelligent control systems; researchers in nonlinear control systems, adaptive control, intelligent systems, neural networks, adaptive fuzzy systems, computational intelligence, mechanical engineering, computer science, chemistry, applied mathematics, electrical and electronic engineering, and civil and environmental engineering.

Notă biografică

Stephan Merz is a researcher at INRIA Lorraine (Nancy, France). He is interested in formal methods for the analysis and construction of reliable software systems, in particular temporal logic, refinement, and the automated and interactive verification of distributed systems.

Nicolas Navet is a researcher in Real-Time Systems at INRIA Lorraine (Nancy, France). His research interests include real-time scheduling, probalistic modeling and computational intelligence, with applications to automotive embedded systems and financial engineering.