Wyniki wyszukiwania dla: Matthias Kuntz
Metallurgical and Materials Transactions A > 2018 > 49 > 6 > 2026-2036
IEEE Journal of Selected Topics in Quantum Electronics > 2018 > 24 > 1 > 1 - 20
Journal of Lightwave Technology > 2017 > 35 > 7 > 1320 - 1327
Materials Characterization > 2016 > 122 > C > 83-89
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Selected Papers > 188-206
Materials Science and Engineering: A > 2016 > 662 > C > 169-177
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Process Algebras and State Machines > 80-96
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 3: Formal Verification 1 > 71-84
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > ITM > 293-307
Lecture Notes in Computer Science > Validation of Stochastic Systems > Representing Large State Spaces > 339-383
Materials Science & Engineering A > 2015 > 630 > Complete > 71-77
IEEE Journal of Selected Topics in Quantum Electronics > 2011 > 17 > 6 > 1470 - 1489
Journal of Lightwave Technology > 2011 > 29 > 4 > 386 - 395