default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd FESCA@ETAPS 2006: Vienna, Austria
- Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006. Electronic Notes in Theoretical Computer Science 176(2), Elsevier 2007 - Juliana Küster Filipe Bowles
, Iman Poernomo, Ralf H. Reussner:
Preface. 1-4 - Andreas Rausch:
DisCComp - A Formal Model for Distributed Concurrent Components. 5-23 - Markus Klein, Julia Padberg, Fernando Orejas:
Towards Multiple Access in Generic Component Architectures. 25-45 - Björn Metzler, Heike Wehrheim:
Extending a Component Specification Language with Time. 47-67 - Heiko Koziolek, Viktoria Firus:
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation. 69-87 - Wei Dong, Zhenbang Chen, Ji Wang:
A Contract-based Approach to Specifying and Verifying Safety Critical Systems. 89-103 - Lars Gesellensetter, Sabine Glesner:
Only the Best Can Make It: Optimal Component Selection. 105-124 - Samik Basu, Partha S. Roop, Roopak Sinha:
Local Module Checking for CTL Specifications. 125-141 - Pavel Parízek, Frantisek Plásil:
Specification and Generation of Environment for Model Checking of Software Components. 143-154
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
