IEEE - Institute of Electrical and Electronics Engineers, Inc. - Describing and Executing Random Reactive Systems

Fourth IEEE International Conference on Software Engineering and Formal Methods

Author(s): P. Raymond ; E. Jahier ; Y. Roux
Sponsor(s): IEEE Comput. Soc
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Pune, India
Conference Date: 11 September 2006
Page(s): 216 - 225
ISBN (Paper): 0-7695-2678-0
DOI: 10.1109/SEFM.2006.15
Regular:

We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reasoning on systems,... View More

Advertisement