An Approach to Combining the Institutions for Event-B and Temporal Logic
| Autor: | Farrell, Marie, Monahan, Rosemary, Power, James F., Fisher, Michael |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: | |
| Popis: | The abstract is included in the text. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|