24 citations · 120 across the 25 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…
cs.SE2018
On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework
Jan Olaf Blech, Ian D. Peake, Sudarsan SD
Means to support collaboration for remote industrial facilities such as mining are an important topic, especially in Australia, where major mining sites can be more than a thousand…