Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1994803
Sist endret:
31. januar 2022, 13:43
Resultat
Vitenskapelig antologi/Konferanseserie
2021
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
Tiziana Margaria
og
Bernhard Steffen
Utgiver/serie
Utgiver/serie
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 antologi/Konferanseserie
Publiseringsår: 2021
Hefte: 12479
Antall sider: 265
ISBN: 978-3-030-83722-8
Lenker
Lenker
ORIA
Søk i ORIA med 978-3-030-83722-8
Klassifisering
Klassifisering
Fagfelt (NPI)
Fagfelt: IKT
- Fagområde: Realfag og teknologi
Beskrivelse
Beskrivelse
Engelsk
Tittel
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
Bidragsytere
Bidragsytere
Tiziana Margaria
Redaktør
Bernhard Steffen
Redaktør
1
-
2
av
2
Kapitler/Artikler
Kapitler/Artikler
Designing Distributed Control with Hybrid Active Objects.
Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch; Tapia Tarifa, Silvia Lizeth. 2021, Springer. TUD, UIO
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
1
-
1
av
1