Formal Modeling and Analysis of Timed Systems: 4th International Conference, FOR
69,60 €
Invited Talks. - Contributed Papers. - Matching Scenarios with Timing Constraints. - Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. - Temporal Logic Verification Using Simulation.
Jetzt bei Ebay:
