Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1994822
Sist endret:
2. mars 2022, 18:32
NVI-rapporteringsår:
2021
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2021
Designing Distributed Control with Hybrid Active Objects
Eduard Kamburjan
Rudolf Schlatte
Einar Broch Johnsen
og
Silvia Lizeth Tapia Tarifa
Bok
Bok
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV
ISBN:
978-3-030-83722-8
Utgiver
Springer
NVI-nivå 1
Finn i kanalregisteret
Serie
Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2021
Hefte: 12479
Sider: 88 - 108
ISBN:
978-3-030-83722-8
Lenker
Lenker
original online (doi)
https://doi.org/10.1007/978-3-030-83723-5_7
ORIA
Søk i ORIA med 978-3-030-83722-8
Klassifisering
Klassifisering
Fagfelt (NPI)
Fagfelt: Informatikk og datateknikk
- Fagområde: Realfag og teknologi
Beskrivelse
Beskrivelse
Engelsk
Tittel
Designing Distributed Control with Hybrid Active Objects
Bidragsytere
Bidragsytere
Eduard Kamburjan
Forfatter
ved Technische Universität Darmstadt
Forfatter
ved SIRIUS - Senter for Innovasjon ved Universitetet i Oslo
Rudolf Schlatte
Forfatter
ved SIRIUS - Senter for Innovasjon ved Universitetet i Oslo
Einar Broch Johnsen
Forfatter
ved PROG Programmering ved Universitetet i Oslo
Silvia Lizeth Tapia Tarifa
Forfatter
ved PROG Programmering ved Universitetet i Oslo
1
-
4
av
4
Resultatet er en del av
Resultatet er en del av
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV.
Margaria, Tiziana; Steffen, Bernhard. 2021, Springer.
Vitenskapelig antologi/Konferanseserie
1
-
1
av
1