Architecture of an SS7 protocol stack on a broadband switch platform using dualistic petri nets
EP Dawis - 2001 IEEE Pacific Rim Conference on …, 2001 - ieeexplore.ieee.org
Process Petri nets are an ideal modeling language for depicting the architecture of computer-
based systems such as a broadband switch platform because: 1) computers are process …
based systems such as a broadband switch platform because: 1) computers are process …
An approach to modeling and evaluation of functional and timing specifications of real-time systems
M Naedele - Journal of Systems and Software, 2001 - Elsevier
Real-time systems need to be correct with respect to both functional and timing behaviors.
Specification and modeling methods for real-time systems must thus permit the evaluation of …
Specification and modeling methods for real-time systems must thus permit the evaluation of …
[引用][C] Ενοποιημένο τυπικό μοντέλο για την αναπαράσταση της λειτουργικότητας και την ανάλυση της χρονοδρομολογησιμότητας εφαρμογών πραγματικού χρόνου
Β Γερογιάννης - 2001 - didaktorika.gr
This thesis investigates the problem of designing predictable applications with real-time
requirements. A real-time system presents complex functionality. The system is required not …
requirements. A real-time system presents complex functionality. The system is required not …