Nettsider med emneord «formelle metoder»
Publisert 22. mars 2011 20:32
Foredrag ved Peter Csaba Ölveczky fra forskningsgruppen for presis modellering og analyse av pålitelige systemer.
Foredrag ved Peter Csaba Ölveczky fra forskningsgruppen for presis modellering og analyse av pålitelige systemer.