The top documents tagged [hmsc graph form]

1 Towards formal manipulations of scenarios represented by High-level Message Sequence Charts Loïc Hélouet Claude Jard Benoît Caillaud IRISA/PAMPA (INRIA/CNRS/Univ.

1 Towards formal manipulations of scenarios represented by High-level Message Sequence Charts Loïc Hélouet Claude Jard Benoît Caillaud IRISA/PAMPA (INRIA/CNRS/Univ.

217 views
Towards formal manipulations of scenarios represented by High-level Message Sequence Charts

Towards formal manipulations of scenarios represented by High-level Message Sequence Charts

22 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS