Формалне методе (Serbian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Формалне методе" in Serbian language version.

refsWebsite

Global rank Serbian rank

1^st place

75^th place

114^th place

415^th place

499^th place

low place

low place

low place

atelierb.eu

Formal Verification in Intel® Core™ i7 Processor Execution Engine Validation, http://cps-vo.org/node/1371 Архивирано на сајту Wayback Machine (3. мај 2015), accessed at Sep. 13, 2013.

Daniel Jackson and Jeannette Wing, "Lightweight Formal Methods", IEEE Computer, April 1996
Daniel Jackson, "Alloy: A Lightweight Object Modelling Notation", ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11, Issue 2 (April ). (2002). стр. 256—290

R. W. Butler (6. 8. 2001). „What is Formal Methods?”. Приступљено 16. 11. 2006.
Airborne Coordinated Conflict Resolution and Detection, http://shemesh.larc.nasa.gov/people/cam/ACCoRD/ Архивирано на сајту Wayback Machine (5. март 2016)

C. Michael Holloway. „Why Engineers Should Consider Formal Methods” (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). Архивирано из оригинала 06. 06. 2012. г. Приступљено 16. 11. 2006.
Vinu George and Rayford Vaughn, archive "Application of Lightweight Formal Methods in Requirement Engineering", Crosstalk: The Journal of Defense Software Engineering, January 2003
Sten Agerholm and Peter G. Larsen, archive "A Lightweight Approach to Formal Methods", In Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, Springer-Verlag, October 1998
A.Cortesi and M.Zanioli, Widening and Narrowing Operators for Abstract Interpretation Архивирано на сајту Wayback Machine (23. септембар 2015).
Airborne Coordinated Conflict Resolution and Detection, http://shemesh.larc.nasa.gov/people/cam/ACCoRD/ Архивирано на сајту Wayback Machine (5. март 2016)
website : http://www.atelierb.eu/en/ Архивирано на сајту Wayback Machine (13. јануар 2016)
Formal Verification in Intel® Core™ i7 Processor Execution Engine Validation, http://cps-vo.org/node/1371 Архивирано на сајту Wayback Machine (3. мај 2015), accessed at Sep. 13, 2013.