Concepedia

A model-driven engineering framework for embedded systems design

Francisco Assis Moreira do Nascimento, Marcio F. S. Oliveira, Flávio Rech Wagner

Innovations in Systems and Software Engineering · 2011 · 10 citations · 23 references

DOI

Concepts

References

23

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

, , +1

Guest Editor's Introduction: Model-Driven Engineering

Douglas C. Schmidt · Computer · 2006 · 2K citations

, , +17

Design of embedded systems: formal models, validation, and synthesis

Stephen A. Edwards, Luciano Lavagno, Edward A. Lee et al. · Proceedings of the IEEE · 1997 · 525 citations

, , +12

The Kronecker product of graphs

Paul M. Weichsel · Proceedings of the American Mathematical Society · 1962 · 351 citations

, , +8

Methods for evaluating and covering the design space during early design development

Matthias Gries · Integration · 2004 · 244 citations

, , +14