Modelling adaptive systems in ForSyDe

DOI10.1016/J.ENTCS.2008.02.011MaRDI QIDQ2864356zbMATH OpenOpenAlexFDO

Authors Ingo Sander, Axel Jantsch

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.02.011

zbMATH Keywords

adaptive systemstransformational designembedded systensformal modelling of adaptivity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Adaptable transition systems
• Using abstraction in modular verification of synchronous adaptive systems
• A framework for run-time reconfigurable systems
• Adaptable processes
• scientific article; zbMATH DE number 1958166

Cited in

(2)

• scientific article; zbMATH DE number 2183547 (Why is no real title available?)
• scientific article; zbMATH DE number 2079648 (Why is no real title available?)

Describes a project that uses

Uses Software

• Ptolemy

This page was built for publication: Modelling adaptive systems in ForSyDe

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864356)