Sortiert nach
B 2007: Formal Specification and Development in B, 2006, p.252-254
2006
Link zum Volltext
Computer Safety, Reliability, and Security, 2004, p.115-115
2004
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Industrial Context
- Software
- Affordable Price
- Computer Science
- Computer Science, Theory & Methods
- Ground, Air And Sea Transportation, Marine Construction
- Industrial Project
- Interdisciplinary Approach
- Memory And File Management
- Memory Organisation. Data Processing
- Proof Obligation
- Science & Technology
- Software Development Process
- Software Engineering
- System Engineering
- Technical Requirement
- Technology