![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 216
Volume 216, April 2022
- 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
- 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
- Wim H. Hesselink
:
Trylock, a case for temporal logic and eternity variables. 102767
- Suene Campos, Regivan H. N. Santiago
, Manuel A. Martins
, Daniel Figueiredo
:
Introduction to reversal fuzzy switch graph. 102776
- 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
- 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.