|
|||||
|
|
Model Checking Grundlagen und Praxiserfahrungen |
|
| Authors: | Ralf Buscherm?hle Mark Br?rkens Ingo Brückner Werner Damm Wilhelm Hasselbring Bernhard Josko Christoph Schulte and Thomas Wolf |
| Abstract: | Die Gewährleistung der korrekten
Funktionsweise von Hard- und Software ist ein entscheidender
Faktor bei der heutigen Systementwicklung. Dies trifft ganz
besonders auf das Gebiet der sog.  sicherheitskritischen
Systeme zu, bei dem ein Systemversagen Menschenleben gefährden
kann. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |