Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 216

> 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 216, April 2022

Special issue on ABZ 2020 Rigorous State Based Methods

- view
  authority control:
- export record
  dblp key:
  - journals/scp/DupontASP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DupontASP22
Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Marc Pantel:
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. 102765

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2020)

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MurraySRAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MurraySRAM22
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige:
Safety assurance of an industrial robotic control system using hardware/software co-verification. 102766

Regular articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Hesselink22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Hesselink22
Wim H. Hesselink:
Trylock, a case for temporal logic and eternity variables. 102767

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2020)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/CamposSMF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CamposSMF22
Suene Campos, Regivan H. N. Santiago, Manuel A. Martins, Daniel Figueiredo:
Introduction to reversal fuzzy switch graph. 102776

Special issue of the 14th international symposium on Theoretical Aspects of Software Engineering

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ChenLMLCJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ChenLMLCJ22
Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin:
Formally verifying consistency of sequence diagrams for safety critical systems. 102777

Special issue on ABZ 2020 Rigorous State Based Methods

- view
  authority control:
- export record
  dblp key:
  - journals/scp/MeryR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MeryR22
Dominique Méry, Alexander Raschke:
Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020. 102780

a service of

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.