National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Troubitsyna, Elena
URI:
http://urn.fi/URN:NBN:fi:au:pn:000109876
name
Troubitsyna, Elena
Authored works
Enhancing dependability via parameterized refinement
Refining for safety
Specifying safety-related hazards formally
Stepwise development of dependable systems
Works contributed to
A formal model-driven approach to requirements engineering
Fault tolerance in a layered architecture : a general specification pattern in B
Formal development of dynamically adaptable fault tolerant systems
Formal development of software for tolerating transient faults
Formal service-oriented development of fault tolerant systems
Hazard analysis in formal specification
Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008 : May 27, 2008, Turku, Finland
Refinement of fault tolerant control systems in B
The probabilistic steam boiler : a case study in probabilistic data refinement
Works about Troubitsyna, Elena
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
