Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Hi-index | 0.00 |
As Department of Defense (DoD) is moving rapidly towards Service-Oriented Computing (SOC), new challenges arise. SOC represents a new and emerging paradigm of computing. The new paradigm will affect every phase of system development and operation. This ...