Home
Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
BME Logo

Primary Links

  • Home
  • Events
  • Education
    • Critical Embedded Systems
    • System Modelling
    • Software and Systems Verification
    • Formal Methods
    • Software Verification and Validation
  • Research
    • Research Directions
    • Application Areas
    • Projects
    • Tools
  • Publications
    • Authors
    • Keywords
  • About Us
    • Members
    • Location
    • Partners and Sponsors
ZH1: Segédanyagok › Modellalapú szoftvertervezés vizsgatételek 2013 › EA17: Adatfolyam hálók, modellfinomítás. Hierarchikus Petri hálók › T07: Petri-hálók: alapfogalmak, kiterjesztések › GY01: Modellellenőrzési példák ›

EA07: Modellezési és modellellenőrzési mintafeladat

Semester: 
2013. tavasz
  • Egy egyszerű mintapélda: kockadobálós játék
  • Minta házi feladat: Futtatási szálak ütemezése – megoldás és ellenőrzés
Download: 
application/pdf iconMinta házi feladat megoldás és ellenőrzés (fóliák)
application/pdf iconMinta házi feladat megoldás és ellenőrzés (nyomtatáshoz)
application/zip iconKockadobálós játék modellek
application/zip iconMinta házi feladat: feladatkiírás és modellek
application/zip iconGyalogátkelő példa modell

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login

Leírások

  • Submitting homework and lab assignments
  • IT Services
  • Egyéb leírások

Navigation

  • Conference materials

  • Sitemap
  • Location
  • Contact Webmaster