Hibatűrő Rendszerek Kutatócsoport
Méréstechnika és Információs Rendszerek Tanszék
Elsődleges linkek
Kezdőlap
Események
Oktatás
Specializációválasztás
BSc tárgyak (Új képzés)
MSc tárgyak (Új képzés)
Önálló munka
Választható tárgyak
Doktori tárgyak
Korábbi tárgyak
Kutatás
Kutatási területek
Alkalmazási területek
Projektek
Eszközök
Publikációk
Hallgatóink sikerei
Kari TDK eredmények
Országos TDK eredmények
Magunkról
Munkatársak
Megközelítés
Partnereink
IBM Center of Advanced Studies
Primary Links
Keresés a webhelyen:
semantics
PLC Program Translation for Verification Purposes
formal verification
PLC
programming languages
semantics
Darvas, D.
,
Majzik, I.
, and
Blanco Viñuela, E.
,
"
PLC Program Translation for Verification Purposes
",
Periodica Polytechnica, Electrical Engineering and Computer Science
, vol. 61, issue 2, pp. 151–165, 05/2017.
BibTex
The many meanings of UML 2 Sequence Diagrams: a survey
MSC
semantics
sequence diagram
UML
Micskei, Z.
, and
Waeselynck, H.
,
"
The many meanings of UML 2 Sequence Diagrams: a survey
",
Software and Systems Modeling
, vol. 10, issue 4: Springer Berlin / Heidelberg, pp. 489-514, 2011.
BibTex
Nyelvek
BME Címtár belépés
Belépés
Felhasználói név:
*
Jelszó:
*
Leírások
Dokumentáció és mérési jegyzőkönyvek készítése
Házi feladatok és jegyzőkönyvek leadása
IT szolgáltatások
Egyéb leírások
Navigáció
Conference materials