|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal framework for distributed cyber-physical systems |
Lion, Benjamin |
|
128 | C |
p. |
artikel |
|
| 2 | A tribute to José Manuel Valença |
Oliveira, José Nuno |
|
128 | C |
p. |
artikel |
|
| 3 | Editorial Board |
|
128 | C |
p. |
artikel |
||
| 4 | Formal analysis of the application programming interface of the PVS verification system |
Masci, Paolo |
|
128 | C |
p. |
artikel |
|
| 5 | Formal models for consent-based privacy |
Peyrone, Neda |
|
128 | C |
p. |
artikel |
|
| 6 | From symbolic constraint automata to Promela |
Feng, Hui |
|
128 | C |
p. |
artikel |
|
| 7 | Monitorable hyperproperties of nonterminating systems |
Damanafshan, Morteza |
|
128 | C |
p. |
artikel |
|
| 8 | Partial arithmetical data types of rational numbers and their equational specification |
Bergstra, Jan A. |
|
128 | C |
p. |
artikel |
|
| 9 | Semantics of quantum programming languages: Classical control, quantum control |
Valiron, Benoît |
|
128 | C |
p. |
artikel |
|
| 10 | Specification of systems with parameterised events: An institution-independent approach |
Hennicker, Rolf |
|
128 | C |
p. |
artikel |
10 gevonden resultaten