Modelling Adaptive Systems in ForSyDe

DOI10.1016/J.ENTCS.2008.02.011zbMath1277.68147OpenAlexW2110344536MaRDI QIDQ2864356

Axel Jantsch, Ingo Sander

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)

Uses Software

• Ptolemy

Cites Work

• Unnamed Item

This page was built for publication: Modelling Adaptive Systems in ForSyDe