Simple modeling of executable role-based workflows: an application in the healthcare domain
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Reha-Sports: the challenge of small margin healthcare accounting
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Hi-index | 4.10 |
Software and hardware vendors long avoided interoperation for fear of opting out of their own product lines. Yet decisive change came to the automobile industry from a holistic evolution and maturation on many fronts.