Projects per year
Original language | English |
---|---|
Title of host publication | NASA Formal Methods - 9th International Symposium |
Publisher | Springer International Publishing AG |
Pages | 19-34 |
Number of pages | 16 |
DOIs | |
Publication status | Published - 2017 |
Event | NASA Formal Methods Symposium - Moffett Field, Ca., United States Duration: 16 May 2017 → 18 May 2017 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer International Publishing AG |
Volume | 10227 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | NASA Formal Methods Symposium |
---|---|
Abbreviated title | NFM 2017 |
Country/Territory | United States |
City | Moffett Field, Ca. |
Period | 16/05/17 → 18/05/17 |
Fields of Expertise
- Information, Communication & Computing
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