https://m2.mtmt.hu/
hun
2024-03-29 00:06
BookChapter
31340770
APPROVED
true
0
false
2024-02-07T11:12:28.765+0000
2024-02-07T10:37:48.816+0000
2020-06-10T17:15:05.822+0000
true
10012476
Molnár
Bálint
/api/author/10012476
Author
true
10012476
2024-02-07T10:37:48.826+0000
2024-02-07T10:37:48.826+0000
true
false
true
31
31
/api/publicationtype/31
PublicationType
4
true
31
BookChapter
true
10000175
Abstract
true
31
31
/api/publicationtype/31
PublicationType
4
true
31
BookChapter
/api/subtype/10000175
Absztrakt / Kivonat
SubType
453
true
10000175
true
1
/api/category/1
Category
true
1
Zsigmond, Máriás
A Study On Formal Consistency Evaluation Of Backend And Frontend Business Logic In A Modern Client-server Application [Modern kliens-szerver alkalmazások backend és frontend logikáinak konzisztencia vizsgálata formális eszközökkel]
97
97
2020
Funding
1986475
/api/funding/1986475
false
true
true
2020
false
true
false
true
false
NONE
2024-02-07
false
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
false
false
false
false
2020-09-08T17:15:41.473+0000
Információs Rendszerek Tanszék (ELTE / IK)
1
8
1
2
0
true
451
true
10002
English
/api/language/10002
Angol
Language
true
2
false
true
10558
true
10001
/api/country/10001
Country
true
1
DUPLUM
/api/city/10558
City
true
1082005
true
17106460
GREEN
/api/publicationidentifier/17106460
http://ceur-ws.org/Vol-2650/
http://ceur-ws.org/Vol-2650/
PublicationIdentifier
false
true
/api/publication/31399409
http://ceur-ws.org/Vol-2650/
true
true
32
32
/api/publicationtype/32
PublicationType
6
true
32
Book
Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020)
false
true
31399409
true
false
true
true
false
Book
2020
true
1
/api/category/1
Category
true
1
false
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
91819412
/api/authorship/91819412
1
0.5
true
false
false
Zsigmond
Máriás
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
91819413
/api/authorship/91819413
2
0.5
false
true
false
Author
10012476
/api/author/10012476
Molnár
Bálint
true
10012476
true
Bálint
Molnár
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
16974131
/api/publicationidentifier/16974131
https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_097.pdf
https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_097.pdf
false
true
Classification
10057
/api/classification/10057
true
true
Classification
10034
/api/classification/10034
true
true
Classification
10093
/api/classification/10093
true
true
Reference
2642592
/api/reference/2642592
1
10.15546/aeei-2013-0053.[8]Steve
false
true
/api/publication/31340770
<div class="BookChapter Publication short-list"> <div class="authors"> <span class="author-name" > Zsigmond, Máriás </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10012476"> <a href="/gui2/?type=authors&mode=browse&sel=10012476" target="_blank">Bálint, Molnár</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;31340770" mtid="31340770" target="_blank">A Study On Formal Consistency Evaluation Of Backend And Frontend Business Logic In A Modern Client-server Application [Modern kliens-szerver alkalmazások backend és frontend logikáinak konzisztencia vizsgálata formális eszközökkel]</a></div> <div class="InBook">In: Kovásznai, Gergely; Fazekas, István; Tómács, Tibor (szerk.) <span class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;31399409" target="_blank">Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020) </a></span > </div><div class="pub-info"> <span class="publishedAt">Eger, Magyarország : <span class="publisher">CEUR Workshop Proceedings</span> <span class="year">(2020)</span> <span class="pageLength">451 p.</span> <span class="page"> Paper: 97 </span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_097.pdf" target="_blank" href="https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_097.pdf"> Teljes dokumentum </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:31340770 </span> <span class="status-holder"><span class="status-data status-APPROVED"> Nyilvános </span></span> <span class="pub-core">Forrás </span> <span class="pub-type">Egyéb konferenciaközlemény (Absztrakt / Kivonat ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> </div> </div> </div><div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" >Zsigmond Máriás </span> ; <span class="author-name" mtid="10012476"><a href="/gui2/?type=authors&mode=browse&sel=10012476" target="_blank">Bálint Molnár (<span class="authorship-author-name">Molnár Bálint</span> <span class="authorAux-mtmt"> Informatika</span>) </a> </span> <span class="author-affil"><span title="Eötvös Loránd Tudományegyetem">ELTE</span>/<span title="Informatikai Kar">IK</span>/<span title="Informatikatudományi Intézet">Informtud_I</span>/Információs Rendszerek Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;31340770" target="_blank">A Study On Formal Consistency Evaluation Of Backend And Frontend Business Logic In A Modern Client-server Application [Modern kliens-szerver alkalmazások backend és frontend logikáinak konzisztencia vizsgálata formális eszközökkel]</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" mtid="10036996"><a href="/gui2/?type=authors&mode=browse&sel=10036996" target="_blank">Kovásznai Gergely (<span class="authorship-author-name">Kovásznai Gergely</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Eszterházy Károly Egyetem">EKE</span>/<span title="Informatikai Kar">IK</span>/<span title="Matematikai és Informatikai Intézet">MII</span>/Információtechnológia Tanszék</span> ; <span class="author-name" mtid="10002923"><a href="/gui2/?type=authors&mode=browse&sel=10002923" target="_blank">Fazekas István (<span class="authorship-author-name">Fazekas István</span> <span class="authorAux-mtmt"> Valószínűségelmélet és matematikai statisztika</span>) </a> </span> <span class="author-affil"><span title="Debreceni Egyetem">DE</span>/Informatikai Kar; <span title="Debreceni Egyetem">DE</span>/<span title="Informatikai Kar">IK</span>/Alkalmazott Matematika és Valószínűségszámítás Tanszék</span> ; <span class="author-name" mtid="10031526"><a href="/gui2/?type=authors&mode=browse&sel=10031526" target="_blank">Tómács Tibor (<span class="authorship-author-name">Tómács Tibor</span> <span class="authorAux-mtmt"> valószínűségszámítás</span>) </a> </span> <span class="author-affil"><span title="Eszterházy Károly Egyetem">EKE</span>/<span title="Informatikai Kar">IK</span>/<span title="Matematikai és Informatikai Intézet">MII</span>/Alkalmazott Matematika Tanszék</span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;31399409" target="_blank">Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020) </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Eger, Magyarország <span class="conference-date">2020.01.29. - 2020.01.31.</span> (<span class="conference-organizer">Debreceni Egyetem Informatikai Kar,</span> <span class="conference-organizer">Eszterházy Károly Egyetem) </div> <span class="publishedAt">Eger: <span class="publishers">CEUR Workshop Proceedings</span>, <span class="page"> Paper 97. </span> <span class="year">(2020)</span> ( <span class="seriesTitle">CEUR Workshop Proceedings</span> <span class="issn">1613-0073</span> <span class="seriesVolume">; 2650</span>) </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_097.pdf" target="_blank" href="https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_097.pdf"> Teljes dokumentum </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:black" title="http://ceur-ws.org/Vol-2650/" target="_blank" href="http://ceur-ws.org/Vol-2650/"> Teljes dokumentum </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 31340770</span> | <span class="status-data status-APPROVED"> Nyilvános </span> <span class="long-book-mtid">Befoglaló: 31399409</span> Forrás | <span class="type-subtype">Egyéb konferenciaközlemény ( Absztrakt / Kivonat ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> Tématerületi Kiválósági Program 2019(ED_18-1-2019-0030) Támogató: NKFIH </div> <div class="lastModified">Utolsó módosítás: 2024.02.07. 11:37 Demecs Éva (BCE 4 admin) </div> </div> </div>