FORMS/FORMAT 2010
☆☆☆☆☆
(0 opinii)
Najniższa cena (z dostawą)
184,00 USD
Typowa cena169,00 PLN
Najniższa (90 dni)169,00 PLN
Liczba ofert1
Ostatnia aktualizacja1 dzień temu
| Sprzedawca | Cena produktu | Dostawa | Razem | Dostępność | Aktualizacja | |
|---|---|---|---|---|---|---|
| SP Springer Nature Author | 169,00 USD | 15,00 USD | 184,00 USD | Dostępny | 1 dzień temu | Zobacz ofertę |
Ceny i dostępność mogą ulec zmianie. Ostatnia aktualizacja: 08.08.2026 22:35.
EAN
9783642142611
Springer Nature
0,0
☆☆☆☆☆
0 opinii
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Opinie o produkcie
Brak opinii — bądź pierwszy!
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.
Podobne produkty
Gamma Knife Neurosurgery in the Management of Intracranial Disorders
od $210.78
SDGs in Construction Economics and Organization
od $210.78
Emerging Therapies in Neurorehabilitation III
od $210.78
Ground Improvement Techniques
od $220.36
Anomaly Detection in Video Surveillance
od $220.36
Mechanism and Machine Science
od $287.42
Protein-Protein Interactions as New Drug Targets
od $287.42
Proceedings of the 7th International Conference of Transportation Research Group of India (CTRG 2023
od $287.42