![](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
24th SBMF 2021: Virtual Event
- Sérgio Campos
, Marius Minea:
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13130, Springer 2021, ISBN 978-3-030-92136-1 - Bruno Menezes, Ana Teresa C. Martins
, Thiago Alves Rocha
:
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. 1-16 - Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao:
Statistical Model Checking for Traffic Models. 17-33 - Waldeck Lindoso, Sidney C. Nogueira, Renato Domingues, Lucas Lima:
Visual Specification of Properties for Robotic Designs. 34-52 - Nils Timm, Josua Botha:
Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation. 53-69 - Abdulrazaq Abba
, Ana Cavalcanti, Jeremy Jacob:
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata. 70-86 - Diogo Raphael Cravo
, Leila Ribeiro
:
Module Integration Using Graph Grammars (MIGRATE). 87-103 - Muhammad Rizwan Ali, Violet Ka I Pun:
Cost Analysis for an Actor-Based Workflow Modelling Language. 104-121 - Neda Saeedloei, Feliks Kluzniak:
Minimization of the Number of Clocks for Timed Scenarios. 122-139
![](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.