Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers


Book Informaton

Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Author

J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg (auth.), Farhad Arbab, Marjan Sirjani (eds.)

Series

Lecture Notes in Computer Science 5961: Programming and Software Engineering

Year of Publication

2010

Publisher

Springer-Verlag Berlin Heidelberg

City of Publication

Berlin; New York

Pages

470

Language

en

ISBN

3642116221, 9783642116223

ARI Id

1672307271445


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
A Process-Theoretic Look at Automa
Verification, Performance Analysis and Controller Synthesis for Real-Time Syste
rCOS: Theory and Tool for Component-Based Model Driven Developme
Termination in Higher-Order Concurrent Calcu
Typing Asymmetric Client-Server Interacti
Equational Reasoning on Ad Hoc Networ
Towards a Notion of Unsatisfiable Cores for L
Rule Formats for Determinism and Idempoten
The Complexity of Reachability in Randomized Sabotage Gam
Applying Step Coverability Trees to Communicating Component-Based Syste
Program Logics for Sequential Higher-Order Contr
Modular Schedulability Analysis of Concurrent Objects in Cre
A Timed Calculus for Wireless Syste
Model Checking Linear Duration Invariants of Networks of Automa
Automata Based Model Checking for Reo Connecto
On the Expressiveness of Refinement Settin
Bounded Rational Search for On-the-Fly Model Checking of LTL Properti
Automated Translation and Analysis of a ToolBus Script for Auctio
Executable Interface Specifications for Testing Asynchronous Creol Componen
Compositional Strategy Mappi
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries