Publikationer pr. år
Publikationer pr. år
Publikationer
-
Conformance Test Development with the Java Modeling Language
Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2 feb. 2017, I: Concurrency and Computation: Practice & Experience. 29, 22, 32 s., e4071.Publikation: Bidrag til tidsskrift › Tidsskriftsartikel › Forskning › peer review
-
Safety-critical Java for embedded systems
Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rivas, J. R. R., Strøm, T. B., Søndergaard, H., Wellings, A. & Zhao, S., 2017, I: Concurrency and Computation: Practice & Experience. 29, 22, 22 s.Publikation: Bidrag til tidsskrift › Tidsskriftsartikel › Forskning › peer review
-
A Safety-Critical Java Technology Compatibility Kit
Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2014, s. 1-9. 9 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Paper/skriftligt oplæg › Forskning
-
Certifiable Java for Embedded Systems
Schoeberl, M., Hansen, R. R., Ravn, A. P., Dalsgaard, A. E., Rivas, J. R. R., Strøm, T. B., Korsholm, S. E. & Søndergaard, H., 2014. 10 s.Publikation: Konferencebidrag uden forlag/tidsskrift › Paper/skriftligt oplæg › Forskning
-
A real-time Java tool chain for resource constrained platforms: Special issue paper
Korsholm, S. E., Søndergaard, H. & Ravn, A. P., 17 okt. 2013, I: Concurrency and Computation: Practice & Experience. DOI: 10.1002/cpe.3164, 25 s., cpe.3164.Publikation: Bidrag til tidsskrift › Tidsskriftsartikel › Forskning › peer review
Projekter
- 2 Afsluttet
-
Intelligent Welfare Technology
Grode, J. N. R., Havn, I., Korsholm, S. E., Sørensen, L. B., Larsen, E. K., Søndergaard, H. & Johansen, H. C.
04/08/14 → 31/12/15
Projekter: Projekt › Forskning
-
Certifiable Java for Embedded Systems
Søndergaard, H., Hansen, R. R., Ravn, A. P., G. Larsen, K. & Schoeberl, M.
01/03/11 → 31/01/14
Projekter: Projekt › Forskning