Artículos relacionados a Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) - Tapa dura
Sinopsis
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.
Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 73,96
EUR 17,31 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 44,55
EUR 9,96 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Verifying Cyber-Physical Systems: A Path to Safe Autonomy...
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26381183415
Cantidad disponible: 3 disponibles
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 18381183421
Cantidad disponible: 3 disponibles
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 382720616
Cantidad disponible: 1 disponibles
Imagen del vendedor
Verifying Cyber-Physical Systems
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780262044806
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verifying Cyber-Physical Systems
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780262044806
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verifying Cyber-Physical Systems
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780262044806
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 41445518-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 2021. Hardcover. . . . . . Nº de ref. del artículo: V9780262044806
Cantidad disponible: 15 disponibles
Imagen del vendedor
Verifying Cyber-Physical Systems : A Path to Safe Autonomy
Publicado por
The MIT Press, 2021
ISBN 10: 0262044803
ISBN 13: 9780262044806
Antiguo o usado
Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 41445518
Cantidad disponible: 15 disponibles
Imagen de archivo
Verifying Cyber-physical Systems: A Path to Safe Autonomy
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 296 pages. 9.25x7.25x0.25 inches. In Stock. Nº de ref. del artículo: 0262044803
Cantidad disponible: 1 disponibles