| Your search for 13415 returns 5725 document(s) |
| Hypas-A Modular Structured Model Design, Simulation And Control Programming Environment (324-329) |
|
Author: Florin lonescu
Dan Stefanoiu; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Hierarchical Access Control Model for Video Database Systems, page 155-191 |
|
Author: E. Bertino, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Framework and Tool Support for the Systematic Testing of Model-Based Specifications, page 409-439 |
|
Author: T. Miller, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
|
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mae-A System Model and Environment for Managing Architectural Evolution, page 240-276 |
|
Author: R. Roshandel, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic Model Checking of UML Activity Diagrams, page 1-38 |
|
Author: R. Eshuis | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Customer Behavior in an Online Oredering Application: A Decision Scoring Model, page 569-598 |
|
Author: KennethK. Boyer, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
|
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protecting Privacy Using the Decentralized Label Model, page 410-442 |
|
Author: Andrew C. Myers, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Smart VideoText: a Video Data Model Based on Conceptual Graphs, page 328-337 |
|
Author: F. Kokkoras, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result