4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015

Artho, C. [szerk.]; Olveczky, P.C. [szerk.]

Angol nyelvű Konferenciakötet (Könyv) Tudományos
Megjelent: 2016
Konferencia: 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015 2015-11-06
Sorozatok: Communications in Computer and Information Science 1865-0929 1865-0937, 596
    Azonosítók
    Fejezetek
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2025-04-26 07:55