Projects per year
Original language | English |
---|---|
Title of host publication | Unifying Theories of Programming |
Subtitle of host publication | 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings |
Editors | Pedro Ribeiro, Augusto Sampaio |
Publisher | Springer |
Pages | 22-38 |
Volume | 11885 |
DOIs | |
Publication status | Published - 2019 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 11885 |
Projects
- 1 Finished
-
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project
Activities
- 1 Invited talk at conference or symposium
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Speaker)
8 Oct 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to science