Author of the publication

Quantitative Analysis of an Application of Formal Methods.

, , and . FME, volume 1051 of Lecture Notes in Computer Science, page 60-73. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Software Systems Architecture, and . Addison Wesley, Upper Saddle River, NJ, 2 edition, (2011)Addressing energy efficiency in system design: a journey from architecture to operation.. University of East London, UK, (2018)British Library, EThOS.The system context architectural viewpoint., and . WICSA/ECSA, page 333-336. IEEE Computer Society, (2009)Sustainability and longevity of systems and architectures., , , and . J. Syst. Softw., (2018)Making the Most of Formal Specification Through Animation, Testing and Proof., , , and . Sci. Comput. Program., 29 (1-2): 53-78 (1997)Industrial Architectural Assessment Using TARA.. WICSA, page 56-65. IEEE Computer Society, (2011)Architecture Description Leveraging Model Driven Engineering and Semantic Wikis., , , and . WICSA, page 251-254. IEEE Computer Society, (2014)Industrial architectural assessment using TARA.. J. Syst. Softw., 85 (9): 2034-2047 (2012)Software systems architecture, and . Addison-Wesley, (2012)Experiences Using Viewpoints for Information Systems Architecture: An Industrial Experience Report.. EWSA, volume 3047 of Lecture Notes in Computer Science, page 182-193. Springer, (2004)