Nettsider med emneord «formelle metoder»

22. mars: Hvordan utvikle korrekte datasystemer?

Publisert 22. mars 2011 20:32

Foredrag ved Peter Csaba Ölveczky fra forskningsgruppen for presis modellering og analyse av pålitelige systemer.

Les mer ...