Login / Signup

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.

Irfan SljivoBarbara GallinaJan CarlsonHans HanssonStefano Puri
Published in: Ada-Europe (2018)
Keyphrases
  • high level
  • conceptual model
  • information systems
  • formal specification
  • specification language
  • object oriented
  • learning objects
  • programming language