ForschungAktuellesAusgewählte ProjekteOnline-ForschungskatalogVolltextsucheProjektePublikationenPatenteVorträge & VeranstaltungenBetreute PromotionenFachgebieteLehr- und ForschungsgebieteProfessor_innenprofileForschungsprofilLeitlinien für die ForschungForschungsstrategieForschungsschwerpunkteDigitale Technologien für Industrie und GesellschaftTechnologien für Gesundheit und LebenErneuerbare Energien und RessourceneffizienzDesign und KulturNachhaltiges Wirtschaften, Unternehmertum und Zukunft der ArbeitForschungsclusterCreative ComputingGAME CHANGERIndustrielle ProduktionKultur IslamMoney, Finance, Trade and DevelopmentSustainable Smart CitiesGesundheitKlimagerechte Energieversorgungssysteme und energieeffiziente GebäudeKultur und InformatikSOFTINEForschungsgruppenEinrichtungenAn-InstituteForschungspreisArbeitskreiseWissenstransferVeranstaltungenTransfer über KöpfeGründungKooperationszentrum Wissenschaft - PraxisKooperationsplattformenPatenteDeutschlandstipendiumThird MissionPublikationenTransferpreisWissenschaftskommunikationKMU-BüroPartnerschaften und NetzwerkeIFAF Berlin - Institut für Angewandte Forschung BerlinBerlin PartnerHochschulallianz HAWtechFHnetEuropean University AssociationForschungsservice für HochschulmitgliederForschungsförderungEU-FörderungNationale FörderungInterne FörderungKooperationenPatente und LizenzenForschungsevaluationForschungsdatenbank my.HTWMessen und VeranstaltungenTransfer- und ProjektkommunikationDer Newsletter "Forsch in die Zukunft"Handreichung WissenschaftskommunikationPromotionEinstiegsinformationenWege zur PromotionPromotionsmöglichkeit findenPromotion planen und vorbereitenPromotion finanzieren ForschungAktuellesAusgewählte ProjekteOnline-ForschungskatalogVolltextsucheProjektePublikationenPatenteVorträge & VeranstaltungenBetreute PromotionenFachgebieteLehr- und ForschungsgebieteProfessor_innenprofileForschungsprofilLeitlinien für die ForschungForschungsstrategieForschungsschwerpunkteDigitale Technologien für Industrie und GesellschaftTechnologien für Gesundheit und LebenErneuerbare Energien und RessourceneffizienzDesign und KulturNachhaltiges Wirtschaften, Unternehmertum und Zukunft der ArbeitForschungsclusterCreative ComputingGAME CHANGERIndustrielle ProduktionKultur IslamMoney, Finance, Trade and DevelopmentSustainable Smart CitiesGesundheitKlimagerechte Energieversorgungssysteme und energieeffiziente GebäudeKultur und InformatikSOFTINEForschungsgruppenEinrichtungenAn-InstituteForschungspreisArbeitskreiseWissenstransferVeranstaltungenTransfer über KöpfeGründungKooperationszentrum Wissenschaft - PraxisKooperationsplattformenPatenteDeutschlandstipendiumThird MissionPublikationenTransferpreisWissenschaftskommunikationKMU-BüroPartnerschaften und NetzwerkeIFAF Berlin - Institut für Angewandte Forschung BerlinBerlin PartnerHochschulallianz HAWtechFHnetEuropean University AssociationForschungsservice für HochschulmitgliederForschungsförderungEU-FörderungNationale FörderungInterne FörderungKooperationenPatente und LizenzenForschungsevaluationForschungsdatenbank my.HTWMessen und VeranstaltungenTransfer- und ProjektkommunikationDer Newsletter "Forsch in die Zukunft"Handreichung WissenschaftskommunikationPromotionEinstiegsinformationenWege zur PromotionPromotionsmöglichkeit findenPromotion planen und vorbereitenPromotion finanzieren HTW Berlin Forschung Online-Forschungskatalog Vorträge & Veranstaltungen Specifying and Model Checking Workflows of Single Page Applications with TLA+ Specifying and Model Checking Workflows of Single Page Applications with TLA+ Veranstaltungsbeitrag › Vortrag › 2020 Veranstaltung 2020 IEEE International Workshop on Software Engineering and Knowledge Management (SEKM 2020) Online, 13.12.2020
Specifying and Model Checking Workflows of Single Page Applications with TLA+ Veranstaltungsbeitrag › Vortrag › 2020 Veranstaltung 2020 IEEE International Workshop on Software Engineering and Knowledge Management (SEKM 2020) Online, 13.12.2020