Text

Formal Aspects of Component Software

---

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.

The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

-

Publisher

Cham : Springer., 2015

Collation

X, 385 hlm.

Language

English

ISBN/ISSN

9783319153179

Classification

NONE

Content Type

-

Media Type

-

Carrier Type

online resource

Edition

-

Subject(s)

Software Engineering

Specific Detail Info

-

Statement of Responsibility

Ivan Lanese, Eric Madelaine

Other Information

Cataloger

Jemadi

Source

https://link.springer.com/content/pdf/10.1007/978-3-319-15317-9.pdf?pdf=button

Validator

-

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment