default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEFTS 2007: Dubrovnik, Croatia
- Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. ACM 2007, ISBN 978-1-59593-725-4 - Máté Kovács, Dániel Varró
, László Gönczy:
Formal modeling of BPEL workflows including fault and compensation handling. 1 - Nuno Laranjeiro, Marco Vieira:
Towards fault tolerance in web services compositions. 2 - Thi Quynh Bui, Oum-El-Kheir Aktouf:
Diagnosis service for embedded software component based systems. 3 - Francis Tam:
On engineering standards based carrier grade platforms. 4 - Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Experimenting with diversity in the model driven development of a railway signaling system. 5 - Nataliya Yakymets, Vyacheslav S. Kharchenko:
Fault-tolerant digital systems implemented with partially definite and partially correct automata. 6 - Yuriy Brun, Nenad Medvidovic:
Fault and adversary tolerance as an emergent property of distributed systems' software architectures. 7 - András Balogh, András Pataricza, Judit Rácz:
Scheduling of embedded time-triggered systems. 8 - Stefan Potyra, Volkmar Sieh, Mario Dal Cin:
Evaluating fault-tolerant system designs using FAUmachine. 9 - Alexei Iliasov:
Refinement patterns for rapid development of dependable systems. 10
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-01-09 19:19 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:
