Abstract: Behavioral programming is a recent programming paradigm that uses independent scenarios to program the behavior of reactive systems. Live sequence charts (LSC) is a visual formalism that ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results