|  |
| |
| Artikel-Nr.:
5667A-9783319671123 Herst.-Nr.:
9783319671123 EAN/GTIN:
9783319671123 |
| |
|
| | |
| Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings Weitere Informationen: | | Author: | Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), Programmieren (EDV), computer software selection and evaluation, model checking, real-time schedulability, robotics, runtime adaption, software engineering, software verification and validation, specification, temporal logic |
| | |
| |