Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
View Other Search Results
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Barros, Márcio. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Goues, Claire Le. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Sarro, Federica. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
systems; fault tolerance; automotive systems; software and systems analysis; tools. .
Yazar
Jobstmann, Barbara. editor.
Format:
Electronic Resources
Alıntı:
checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems
Yazar
D’Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
synthesis -- Static analysis -- Deductive methods -- Program certification -- Error diagnosis -- Program
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal
Arama Sonuçlarını Sınırlandır
Daraltılmış: