Login / Signup
Badreldin Altayeb
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Cyber Physical Systems
St Century
Low Cost
Fuzzy Logic
Top Venues
SIGCSE
</>
Publications
</>
Kostadin Damevski
,
Badreldin Altayeb
,
Hui Chen
,
David Walter
Teaching cyber-physical systems to computer scientists via modeling and verification.
SIGCSE
(2013)