Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
communication control » communication concepts, communication culture, communication channel
decision guide » revision guide, precision guided, decision aid
decision data » decisions data, precision data, decision gate
decision case » decision based, decision game, decision aid
communication control » communication concepts, communication culture, communication channel
decision guide » revision guide, precision guided, decision aid
decision data » decisions data, precision data, decision gate
decision case » decision based, decision game, decision aid
1
Published 2005
Table of Contents:
“...-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis -- Modeling and Verification of Safety...”View full text
Electronic
eBook
