Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra.

Sujeong U Gihwan Cho Moonkun Lee

Published in: FCS (2008)

Keyphrases

knowledge based systems
formal methods
process algebra
expert systems
asynchronous circuits
knowledge representation
knowledge management
building blocks
reverse engineering
formal specification
concurrent systems