A semantic model for interacting cyber-physical systems

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 129; p. 100807
Main Authors Lion, Benjamin, Arbab, Farhad, Talcott, Carolyn
Format Journal Article
LanguageEnglish
Published 01.11.2022
Online AccessGet full text

Cover

More Information
ISSN:2352-2208
DOI:10.1016/j.jlamp.2022.100807