See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Formal methods in LARGE-SCALE computing systems

Malik, S. U. R.; Khan, S. U. (2013). Formal methods in LARGE-SCALE computing systems. ITNOW, 55 (2), 52−53. DOI: 10.1093/itnow/bwt025.
artikkel ajakirjas
Malik, S. U. R.; Khan, S. U.
  • Inglise
ITNOW
1746-5702
55
2
2013
5253
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index, Emerging Sources Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
Ei
SCOPUS

Viited terviktekstile

doi.org/10.1093/itnow/bwt025

Seotud asutused

Lisainfo