Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
Details
- OL Work ID
- OL17430948W
Subjects
Computer scienceSoftware engineeringComputer softwareFormal methods (Computer science)CongressesProgrammanalyseKongressModel CheckingProgrammtestFormale MethodeSoftwareentwicklungVerifikationSystementwicklungZuverlässigkeitFehlertoleranzSystem design