Szpyrka, Marcin, AGH University of Science and Technology, Poland
-
Computer Science Vol. 6 - Articles
FAST AND FLEXIBLE MODELLING OF REAL-TIME SYSTEMS WITH RTCP-NETS
Abstract PDF -
Computer Science Vol. 2 - Articles
FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS
Abstract Untitled PDF