Ôl bys
Gweld gwybodaeth am bynciau ymchwil 'Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.- Trefnu yn ôl
- Pwysau
- Yn nhrefn yr wyddor
Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study
Mikhail. A Lukin, Maxim Buzdalov, A. A. Shalyto
Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Trafodion Cynhadledd (Nid-Cyfnodolyn fathau)