default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 154

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 154, March 2018

Formal Techniques for Safety-Critical Systems 2015

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArthoO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArthoO18
Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2015). 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/scp/Meseguer18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Meseguer18
José Meseguer:
Variant-based satisfiability in initial algebras. 3-41
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZhangDM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhangDM18
Min Zhang, Feng Dai, Frédéric Mallet:
Periodic scheduling for MARTE/CCSL: Theory and practice. 42-60
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BergerJLRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BergerJLRS18
Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger:
Verification of the European Rail Traffic Management System in Real-Time Maude. 61-88
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BeckerVS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeckerVS18
Klaus Becker, Sebastian Voss, Bernhard Schätz:
Formal analysis of feature degradation in fault-tolerant automotive systems. 89-133
- view
  authority control:
- export record
  dblp key:
  - journals/scp/WuZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WuZ18
Xi Wu, Huibiao Zhu:
Formal analysis of a calculus for WSNs from quality perspective. 134-153

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.