Jump to Navigation

Implementing Influence Analysis using Parameterized Boolean Equation Systems

TitleImplementing Influence Analysis using Parameterized Boolean Equation Systems
Publication TypeConference Paper
Year of Publication2007
EditorMerino, P., M-del-M. Gallardo, and C. Joubert
Conference NameProceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation
Date Publishedfeb


Main menu 2

Biblio | by Dr. Radut