Formal Verification and Parameters Synthesis for Hybrid Real Systems

TitleFormal Verification and Parameters Synthesis for Hybrid Real Systems
Publication TypeMiscellaneous
Year of Publication2005
AuthorsBonifácio A L, Moura A V