Font Size: a A A
Keyword [Formal Specification]
Result: 61 - 70 | Page: 4 of 4
61. Addressing architectural and mobility considerations in the formal specification and design of concurrent systems
62. Formal specification and verification of microprocessor interrupts
63. A formal-specification meta-model
64. Formal specification methodology and notation for safety critical system
65. Design and formal specification of a data model and language for a database system for CAD applications
66. A FORMAL SPECIFICATION FOR A USER INTERFACE FOR OFFICE AUTOMATION
67. TRACE SPECIFICATION OF COMMUNICATIONS PROTOCOLS (SOFTWARE ENGINEERING, FORMAL SPECIFICATION)
68. Research On The Formal Specification Of Ethereum Smart Contracts Based On Operational Semantics
69. The Study Of Approximate Safety And Liveness Properties In Branching Time
70. Research On Requirement Weakness Detection Based On Formal SOFL Language
  <<First  <Prev  Next>  Last>>  Jump to