In:
Conference Booklet of SCML, Research Institute for Symbolic Computation (RISC)
Approach for the network configuration of wireless systems using RAG, Fine-Tuning and formal verification component
Jul 2026
Literature procurement:
Conference Booklet of SCML, Research Institute for Symbolic Computation (RISC)
Bibtex: Download Bibtex
@inproceedings{3305,
}
| author | = | {}, |
| title | = | {Approach for the network configuration of wireless systems using RAG, Fine-Tuning and formal verification component}, |
| booktitle | = | {Conference Booklet of SCML}, |
| year | = | {2026}, |
| editor | = | {}, |
| volume | = | {}, |
| series | = | {}, |
| pages | = | {0}, |
| address | = | {Hagenberg, Österreich}, |
| month | = | {Jul}, |
| organisation | = | {}, |
| publisher | = | {Research Institute for Symbolic Computation (RISC)}, |
| note | = | {}, |