Modeling and verifying active structural control systems

Authors:
Wael M. Elseaidy;Rance Cleaveland;John W. Baugh, Jr.
Affiliations:
-;-;-
Venue:
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Year:
1997

Citing 0
Cited 5

Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Using partial evaluation to enable verification of concurrent software

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Specification formalisms for component-based concurrent systems

ACM SIGSOFT Software Engineering Notes
Scheduler Modeling Based on the Controller Synthesis Paradigm

Real-Time Systems
Modelling and verifying web service orchestration by means of the concurrency workbench

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract