Canlyniadau Chwilio

Pynciau a Argymhellir O fewn eich chwiliad
  • Dangos 1 - 11 canlyniadau o 11
Mireinio'r Canlyniadau
  1. 1
    Delwedd Flaen

    Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, Augu...

    Cyhoeddwyd 2001
    An electronic book accessible through the World Wide Web; click to view
    Electronig Trafodyn Cynhadledd eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  2. 2
    Delwedd Flaen

    Formal software development from VDM to Java / gan Charatan, Quentin

    Cyhoeddwyd 2004
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  3. 3
    Delwedd Flaen

    Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking / gan Drusinsky, Doron

    Cyhoeddwyd 2006
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  4. 4
    Delwedd Flaen

    Verification techniques for system-level design gan Fujita, Masahiro, 1956-

    Cyhoeddwyd 2008
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  5. 5
    Delwedd Flaen

    Software specification methods

    Cyhoeddwyd 2006
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  6. 6
    Delwedd Flaen

    Teamwork in multi-agent systems a formal approach / gan Dunin-Kȩplicz, Barbara

    Cyhoeddwyd 2010
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  7. 7
    Delwedd Flaen

    Computers in language research

    Cyhoeddwyd 1983
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  8. 8
    Delwedd Flaen

    Communicating embedded systems software and design : formal methods /

    Cyhoeddwyd 2010
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  9. 9
    Delwedd Flaen

    Formal method industrial use from model to the code /

    Cyhoeddwyd 2012
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  10. 10
    Delwedd Flaen

    Formal methods applied to complex systems : implementation of the B method /

    Cyhoeddwyd 2014
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:
  11. 11
    Delwedd Flaen

    Principles of cyber-physical systems / gan Alur, Rajeev, 1966-

    Cyhoeddwyd 2015
    An electronic book accessible through the World Wide Web; click to view
    Electronig eLyfr

    Ychwanegu at ffefrynnau
    Wedi'i Gadw mewn:

Offerynnau Chwilio: