Publication | Closed Access
Using timed automata for the verification of iec 61499 applications
21
Citations
6
References
2004
Year
Iec 61499EngineeringRuntime VerificationSmart GridSoftware TestingVerificationSystem SpecificationFormal MethodsComputer EngineeringSystems EngineeringSoftware EngineeringFormal TechniqueFormal VerificationComputer ScienceTimed SystemIndustrial InformaticsSoftware AnalysisSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1