Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems

Viorel Preoteasa, Stavros Tripakis

Research output: Working paperProfessional

Original languageEnglish
Pages9
Publication statusPublished - 2015
MoE publication typeD4 Published development or research report or study

Publication series

NamearXiv

Cite this