Generating requirements for complex embedded systems using State Analysis

Autor: Ingham, Michel D., Rasmussen, Robert D., Bennett, Matthew B., Moncada, Alex C.
Zdroj: In Acta Astronautica 2006 58(12):648-661
Databáze: ScienceDirect