Title: Formal Techniques for Safety-Critical Systems
- Title
- Formal Techniques for Safety-Critical Systems
- Platform
- SpringerLink
- Status
- Retired
- Publication Type
- Monograph
- Medium
- Book
- Language
-
- First Author
- Artho
- First Editor
- Birukou
- Publisher Name
- Empty
- Date First in Print
- 2017-01-01
- Date First Online
- 2017-01-01
- Access Start Date
- Empty
- Access End Date
- Empty
- Volume Number
- 694
- Edition Statement
- 1
- Access Type
- Empty
- Note
- Empty
- Last Changed External
- Empty
- Date Created
- 2019-10-14 22:00:21
- Last Updated
- 2022-11-14 14:25:15
- UUID
- 950b3396-3088-4028-a873-fb877fffdcb1
| Identifier Namespace Name | Identifier Namespace Value | Identifier |
|---|---|---|
| DOI | doi | 10.1007/978-3-319-53946-1 |
| eISBN | eisbn | 9783319539461 |
| ISBN | isbn | 9783319539454 |
- Subject Area
- Empty
| Dewey Decimal Classification |
|---|
- Series
- Empty
- Parent publication title ID
- Empty
- Superseding publication title ID
- Empty
- Preceding publication title ID
- Empty
- Open Access
- Empty
| Price Type | Value | Currency |
|---|