Search Results for Tools.

Yazar

Fantechi, Alessandro. editor.

Format:

Electronic Resources

Alıntı:

Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for

Yazar

Hammoudi, Slimane. editor.

Format:

Electronic Resources

Alıntı:

Studies -- Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools

Yazar

Howar, Falk. editor.

Format:

Electronic Resources

Alıntı:

Analysis Methods and Tools -- The Quest for Optimality in Stateless Model Checking of Concurrent Programs

Yazar

Margaria, Tiziana. editor.

Format:

Electronic Resources

Alıntı:

-- Runtime and Memory Evaluation of Data Race Detection Tools -- In-Place vs. Copy-on-Write CEGAR Refinement

	{displayName}	{count}
{error}