Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
View Other Search Results
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
full papers presented together with one invited talk and two tool papers were carefully reviewed and
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
tools for analyzing timed systems and resolving temporal constraints; applications in real-time software
Yazar
Brugali, Davide. editor.
Format:
Electronic Resources
Alıntı:
Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems and
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
systems -- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Development -- Generation of Domain-Specific Graphical Development Tools Targeting Heterogeneous Platforms
Arama Sonuçlarını Sınırlandır
Daraltılmış: