Formal Analysis of Future Energy Systems Using Interactive Th... - 9783030784089

Ram - Systems Engineering Reliability Analysis Using k-out-of-n Struc - X555z

Almeida - A Sociolegal Analysis of Formal Land Tenure Systems Learnin - X555z

Legay - Formal Modeling and Analysis of Timed Systems 12th Internati - X555z

Bogomolov - Formal Modeling and Analysis of Timed Systems 20th Inter - X555z

Frnzle - Formal Modeling and Analysis of Timed Systems 14th Interna - X555z

Bak - Green Energy Meta-analysis of the Research Results - New paper - X555z

Petrucci - Formal Modeling and Analysis of Timed Systems 21st Intern - X555z