Publication | Closed Access
Practical applications of model checking in the Finnish nuclear industry
22
Citations
6
References
2017
Year
Unknown Venue
EngineeringFormal ModelingSoftware TestingNuclear SafetyVerificationFormal MethodsProcess ControlSystems EngineeringModeling And SimulationComputer ScienceModel CheckingModel VerificationFormal VerificationModel Analysis
| Year | Citations | |
|---|---|---|
Page 1
Page 1