Brief announcement: incremental component-based modeling, verification, and performance evaluation of distributed reset

Authors:
Ananda Basu;Borzoo Bonakdarpour;Marius Bozga;Joseph Sifakis
Affiliations:
VERIMAG, Centre Équation, Gières, France;VERIMAG, Centre Équation, Gières, France;VERIMAG, Centre Équation, Gières, France;VERIMAG, Centre Équation, Gières, France
Venue:
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Year:
2009

Citing 2
Cited 1

Distributed Reset

IEEE Transactions on Computers
Modeling Heterogeneous Real-time Components in BIP

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods

Rigorous system design: the BIP approach

MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract