default search action

combined dblp search
author search
venue search
publication search

ask others

10th FESCA@ETAPS 2013: Rome, Italy

> Home > Conferences and Workshops > FESCA
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-4780
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-4780
Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. EPTCS 108, 2013
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5169
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5169
Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace:
Extensible Technology-Agnostic Runtime Verification. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5170
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5170
Sven Sieverding, Christian Ellen, Peter Battram:
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets. 17-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5171
Davide Arcelli, Vittorio Cortellessa:
Software model refactoring based on performance analysis: better working on software or performance side? 33-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5173
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5173
Helena Gruhn, Sabine Glesner:
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. 49-62
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5174
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5174
Maribel Fernández, Jeffrey Terrell:
Assembling the Proofs of Ordered Model Transformations. 63-77
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-5175
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5175
Jan Olaf Blech:
Towards a Framework for Behavioral Specifications of OSGi Components. 79-93

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.