Indices
This title is listed in the following:
Close
Reference Hub
This research has been cited in:
Conference
Analyzing medical contexts in ubiquitous computing home environments with denotational mathematics2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing10.1109/ICCI-CC.2014.6921449 Conference
Towards a Methodology for RTPA-MATLAB Code Generation Based on Machine Learning Rules2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2018.8482093 Chapter
The Formal Design Model of a Real-Time Operating System (RTOS+)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch013 Chapter
Article
The Formal Design Model of a Real-Time Operating System (RTOS+)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010040106 Article
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)International Journal of Software Science and Computational Intelligence10.4018/jssci.2011040106 Article
The Formal Design Model of a Real-Time Operating System (RTOS+)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010070106 Article
The Formal Design Models of a Set of Abstract Data Types (ADTs)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010100106 Article
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPAInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2012040105 Chapter
Chapter
The Formal Design Model of a Real-Time Operating System (RTOS+)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch014 Chapter
Article
The Formal Design Models of Digraph Architectures and BehaviorsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2012010105 Chapter
The Formal Design Model of an Automatic Teller Machine (ATM)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch015 Chapter
The Formal Design Models of a Set of Abstract Data Types (ADTs)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch016 Chapter
Chapter
The Formal Design Models of a Universal Array (UA) and its ImplementationAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch017 Article
The Formal Design Model of a Lift Dispatching System (LDS)International Journal of Software Science and Computational Intelligence10.4018/jssci.2009062506 Article
The Formal Design Model of an Automatic Teller Machine (ATM)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010101907 Article
The Formal Design Models of Tree Architectures and BehaviorsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2011100106 Article
The Formal Design Model of a File Management System (FMS)International Journal of Software Science and Computational Intelligence10.4018/jssci.2011010107 Chapter
Design and Implementation of an Autonomic Code Generator Based on RTPABreakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch012 Article
Design and Implementation of an Autonomic Code Generator Based on RTPAInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2010040103
Close Top Results From Your Most Recent Search
Close