19 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
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
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
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
Model-Driven Information Flow Security for Component-Based Systems -- Context-Bounded Analysis of
Yazar
Ouaknine, Joël. editor.
Format:
Electronic Resources
Alıntı:
papers offer new approaches for the modelling and analysis of computational processes by combining
Yazar
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join -- Targeted Update
19 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: