Forms/Format 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems - Couverture rigide
Synopsis
A Formal description means and methods - Concepts, Applications and Requirements in Traffic and Transportation (simulation, UML, Petrinets, AIS, etc.) B Requirements and Applications in Railway (signaling applications, model based design and analysis) C Requirements and Applications in Automotive and Vehicular Technology (control of driving dynamic systems, driver assistance; UML in automotive systems; model based development, diagnosis etc.) D Methods and Tools for Modeling, Validation / Verification, Tests and Diagnosis (system related and functional validation, limits of formal methods, problems using automated tests etc.) E Legal framework (directives, laws, regulations, standards and norms, certification etc.) F Safety and Security (Reliability, Availability and Maintainability, methods for risk analysis; risk acceptance, risk measures, evaluation of RAMS-Parameter) G Human factors and human behaviour (learning, manipulation, FCR-modeling etc.)
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Forms/Format 2010: Formal Methods for Automation and...
Image d'archives
FORMS/FORMAT 2010 (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur eea40ecb63f411c65bb6b21c48dcfa62
Acheter neuf
EUR 166,29
Expédition à EUR 11
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
FORMS/FORMAT 2010
Edité par
Springer Berlin Heidelberg, 2011
ISBN 10 : 3642142605
ISBN 13 : 9783642142604
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The articles describe the latest development in the field of formal methods and description means. Authors from universities, from industries R&D departments and practitioners come together to share their ideas.Written by experts.Complexity in automatio. N° de réf. du vendeur 5050452
Acheter neuf
EUR 181,53
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
FORMS/FORMAT 2010
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2011
ISBN 10 : 3642142605
ISBN 13 : 9783642142604
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations.Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown. 257 pp. Englisch. N° de réf. du vendeur 9783642142604
Acheter neuf
EUR 213,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
FORMS/FORMAT 2010
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 272. N° de réf. du vendeur 262071684
Acheter neuf
EUR 247,05
Expédition à EUR 3,40
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
FORMS/FORMAT 2010
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 272. N° de réf. du vendeur 182071694
Acheter neuf
EUR 262,38
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
FORMS/FORMAT 2010
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 272 Illus. N° de réf. du vendeur 6824795
Acheter neuf
EUR 266,94
Expédition à EUR 7,50
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
FORMS/FORMAT 2010 : Formal Methods for Automation and Safety in Railway and Automotive Systems
Edité par
Springer-Verlag GmbH, 2011
ISBN 10 : 3642142605
ISBN 13 : 9783642142604
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 8142788/12
Acheter D'occasion
EUR 173,18
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
FORMS/FORMAT 2010 : Formal Methods for Automation and Safety in Railway and Automotive Systems
Edité par
Springer, Berlin, Springer, 2011
ISBN 10 : 3642142605
ISBN 13 : 9783642142604
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations.Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown. N° de réf. du vendeur 9783642142604
Acheter neuf
EUR 217,46
Expédition à EUR 62,74
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Forms/Format 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 256 pages. 9.25x6.25x0.75 inches. In Stock. N° de réf. du vendeur x-3642142605
Acheter neuf
EUR 298,47
Expédition à EUR 14,42
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)