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

Bidragsytere:
  • Tiziana Margaria og
  • Bernhard Steffen

Utgiver/serie

Utgiver

Springer
NVI-nivå 1

Serie

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig antologi/Konferanseserie
Publiseringsår: 2021
Hefte: 12479
Antall sider: 265
ISBN: 978-3-030-83722-8

Klassifisering

Fagfelt (NPI)

Fagfelt: IKT
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

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

Tiziana Margaria

  • Tilknyttet:
    Redaktør

Bernhard Steffen

  • Tilknyttet:
    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, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 1 av 1