Towards a "Good" Functional and Executable Behavior Model

Authors:
Dominique Sidou
Affiliations:
-
Venue:
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Year:
1997

Citing 3
Cited 0

Conflict analysis for management policies

Proceedings of the fifth IFIP/IEEE international symposium on Integrated network management V : integrated management in a virtual world: integrated management in a virtual world
A Discipline of Programming

A Discipline of Programming
CADP - A Protocol Validation and Verification Toolbox

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract