ForSyDe-Atom: Taming Complexity in Cyber Physical System Design with Layers

Article

Abstract: We present ForSyDe-Atom, a formal framework intended as an entry point for disciplined design of com

Palabras claves:

cyber-physical systems, Design methodology, Modeling, models of computation, Simulation, Synthesis, system design language, Validation

Autores:

Ahlander A., Ingo Sander, Medeiros J.E.G.D., Söderquist I., Sundstrom T., Ungureanu G.

Fuentes:

scopus