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
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
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
Bertrand, Nathalie. editor.
Format:
Electronic Resources
Alıntı:
Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool
Yazar
Ferrández Vicente, José Manuel. editor.
Format:
Electronic Resources
Alıntı:
understanding the brain function and emotions, addressing topics such as new tools for analyzing neural data, or
Arama Sonuçlarını Sınırlandır
Daraltılmış: