يعرض 1 - 10 نتائج من 32 نتيجة بحث عن '"Formal methods (Computer science)"', وقت الاستعلام: 0.03s تنقيح النتائج
  1. 1

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018

    منشور في 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
  2. 2

    Formal methods for safety and security case studies for aerospace applications

    منشور في 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Formal methods for safety and security case studies for aerospace applications
  3. 3

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016

    منشور في 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
  4. 4

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2014

    منشور في 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2014
  5. 5

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015

    منشور في 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015
  6. 6

    Principles of cyber-physical systems حسب Alur, Rajeev

    منشور في 2015
    احصل على النص الكامل
    احصل على النص الكامل
    Electronic Resource

    Principles of cyber-physical systems
  7. 7

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2013

    منشور في 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2013
  8. 8

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

    الحاوية / القاعدة Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
  9. 9

    Computer performance engineering 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. proceedings

    منشور في 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Computer performance engineering 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. proceedings
  10. 10

    FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

    منشور في 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings

أدوات البحث: