Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures / Marco Bernardo, Jane Hillston (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 4486. | Lecture notes in computer science. Tutorial.Publication details: Berlin ; New York : Springer, ©2007.Description: 1 online resource (vi, 467 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783540725220
- 3540725229
- 3540724826
- 9783540724827
- 9786610940738
- 6610940738
- Formal methods for the design of computer, communication and software systems
- SFM 2007
- Formal methods (Computer science) -- Congresses
- Integrated circuits -- Verification -- Congresses
- Méthodes formelles (Informatique) -- Congrès
- Circuits intégrés -- Vérification -- Congrès
- COMPUTERS -- Reference
- COMPUTERS -- Machine Theory
- COMPUTERS -- Computer Literacy
- COMPUTERS -- Information Technology
- COMPUTERS -- Data Processing
- COMPUTERS -- Computer Science
- COMPUTERS -- Hardware -- General
- Formal methods (Computer science)
- Integrated circuits -- Verification
- Informatique
- Formal methods (Computer science)
- Integrated circuits -- Verification
- systemen
- systems
- computerwetenschappen
- computer sciences
- computernetwerken
- computer networks
- programmeertalen
- programming languages
- software engineering
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 004.01/51 22
- QA76.9.F67 I586 2007eb
- TP301-532
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and author index.
Print version record.
Performance Modelling and Markov Chains -- Queueing Networks -- to Generalized Stochastic Petri Nets -- Stochastic Process Algebras -- A Survey of Markovian Behavioral Equivalences -- Stochastic Model Checking -- Fluid Models in Performance Analysis -- Tackling Large State Spaces in Performance Modelling -- Data Representation and Efficient Solution: A Decision Diagram Approach -- to Software Performance Engineering: Origins and Outstanding Problems -- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.