Formal Modeling and Analysis of Timed Systems: Third International Conference, F
76,09 €
Invited Talk. - Modular Performance Analysis of Distributed Embedded Systems. - Logic and Specification. - Invited Talk. - Model Checking. - A New Verification Procedure for Partially Clairvoyant Scheduling.
Jetzt bei Ebay: