Abstract: This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to linear temporal ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback