Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices

Atif, Mashkoor; Miklos, Biro [Bíró, Miklós (Matematika és szá...), szerző]; Marton, Dolgos; Peter, Timar

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
Konferencia: Software Quality. Software and Systems Quality in Distributed and Mobile Environments 2015-01-20 [Wien, Ausztria]
  • SJR Scopus - Business and International Management: Q2
Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
2021-10-24 16:50