Articoli correlati a Fundamentals of Software Engineering: 5th International...
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers - Brossura
Sinossi
Unbounded Allocation in Bounded Heaps.- On the Complexity of Adding Convergence.- Deadlock Checking by Data Race Detection.- Delta Modeling and Model Checking of Product Families.- Lending Petri Nets and Contracts.- On Efficiency Preorders.- Compiling Cooperative Task Management to Continuations.- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.- Efficient Operational Semantics for EB3 for Verification of Temporal Properties.- Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair.- Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks.- A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming.- Push-Down Automata with Gap-Order Constraints.- Model Checking MANETs with Arbitrary Mobility.- Validating SCTP Simultaneous Open Procedure.- Improving Time Bounded Reachability Computations in Interactive Markov Chains.- Checking Compatibility of Web Services Behaviorally.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata
