Sciweavers

MBMV   2014
Wall of Fame | Most Viewed MBMV-2014 Paper
16
Voted
MBMV
2014
8views more  MBMV 2014»
10 years 1 months ago
Using Different Representations of Synchronous Systems in SAL
In general, synchronous systems can be represented as a set of so-called synchronous guarded actions (SGAs) that consist of a trigger condition and an atomic action. Whenever the ...
Manuel Gesell, Felipe Bichued, Klaus Schneider
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source8