Title |
Formale Sicherheitsanalyse / vorgelegt von Frank Ortmeier |
|---|---|
Involved |
Frank Ortmeier (Verfasser) |
Published |
Berlin: Logos-Verl. |
Extent |
180 S. : graph. Darst. |
Thesis |
Zugl.: Augsburg, Univ., Diss., 2005 |
ISBN |
978-3-8325-1277-4 |
Country |
|
Topic |
|
Subject |
Eingebettetes System, Sicherheitskritisches System, Sicherheitsanalyse, Formale Methode, Fehlerbaumanalyse, Statechart |
Record ID |
980216486 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: