Searching for ""UML-ising' Formal Techniques." – sorted by Relevance.
501,170 documents found, showing 1 through 10.
Next 10 →
-
Formal
- …Formal verification of C systems code Structured types, separation logic and theorem proving…
- Add To MetaCart
-
Formal Description Techniques -
- …Formal description techniques - how formal and descriptive are they?* M. Broy Institut für…
- Add To MetaCart
-
On the Use of Formal Techniques for Validation
- …On the Use of Formal Techniques for Validation Neeraj Suri and Purnendu Sinha Dept. of CIS, NJIT…
- Cited by 9 (6 self) – Add To MetaCart
-
Integrating Formal Description Techniques
- …Integrating Formal Description Techniques Bernhard Schtz and Franz Huber * Fakultt fr Informatik…
- Cited by 11 (3 self) – Add To MetaCart
-
On the Use of Formal Techniques for Analyzing
- …On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols Purnendu Sinha…
- Add To MetaCart
-
Formal description techniques - how formal and descriptive are they?
- …Formal description techniques - how formal and descriptive are they?* M. Broy Institut fr…
- Cited by 3 (0 self) – Add To MetaCart
-
Formal Analysis Techniques for Gossiping Protocols
- …Formal Analysis Techniques for Gossiping Protocols Rena Bakhshi Vrije Universiteit Amsterdam…
- Cited by 2 (1 self) – Add To MetaCart
-
Formal Description Techniques for Object Management
- …Formal Description Techniques for Object Management J. Derrick, P. F. Linington and S. J. Thompson…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Techniques in the Development of Blackboard Systems
- …Formal Techniques in the Development of Blackboard Systems Iain D. Craig Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Formal analysis of component adaptation techniques
- …Formal Analysis of Component Adaptation Techniques APPROVED: by Kavita Kanetkar A Thesis Submitted…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
