Publication | Closed Access
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool
22
Citations
23
References
2008
Year
EngineeringVerificationSoftware EngineeringTelecommunication ApplicationSoftware AnalysisFormal VerificationSystems EngineeringReal-time CommunicationLive Sequence ChartsRuntime VerificationFormal ModelingComputer EngineeringComputer ScienceSoftware DesignSoftware VerificationProgram AnalysisPlay-engine ToolSoftware TestingIndustrial InformaticsSystem SoftwareSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1